Reinstate test coverage as part of CI.

I had deleted the script which actually ran the tests.