Update gitignore for coverage

We don't need these files produced by `make coverage`.