Code

gitignore: Ignore files generated by "make coverage"