use jenkins for running tests so we get coverage reports