Move coverage script to Makefile

Also includes some cleanup of unnecessary files in .gitignore which should belong
in a global .gitignore.