Add a CI check for missing prereq.sh scripts
As pointed out by @marka, we can and should use the "precheck" stage of CI pipelines to prevent issues like #869 (closed) from being introduced.
As pointed out by @marka, we can and should use the "precheck" stage of CI pipelines to prevent issues like #869 (closed) from being introduced.