Clean up better after 'make cover'

These patches make sure that the various automatically generated files from running 'make cover' get deleted by 'make cover-clean' properly.