CI: Record test results via Junit XML (in ctests)

As a prerequisites to monitor (valgrind) test running times, it would be useful to store test data in a systematic way.

For the ctests, there is an option --output-junit that should achieve this.