Gast test scripts still use test0.prj
The test.sh
scripts for Gast still assume test0.prj exists, which has been removed in https://gitlab.science.ru.nl/clean-and-itasks/gast/-/merge_requests/45. We should instead use make -C Tests
instead, and also something on Windows.