Separate qRHL tests in ci/simple-tests from Coq tests such that they
can run in a separate action. Before, the qRHL test was running twice,
as part of simple-tests and additionally in test-indent.