Merge "Add ignore files related to coverage to .gitignore"