deleted singular coverage file. there are now two
make gen-cov now creates two coverage files; one for promise_aplus_tests and one more the Pimp test suite.