Misc coverage fixes

Adds .coverage to .gitignore to make developers’ life easier and use the more detailed (and more helpful) `term-missing` coverage report.