Disable code-coverage builds for now

Not working on the pull-tester machine, 'make cov' hangs there.