Update .gitignore

Make the .gitignore file more precisely name which files should be ignored by
using absolute paths (from the root of the repo) where appropriate. Also ignore
stats files generated by "coverage".