Ignore cover directory

Coverage reports are stored in the cover/ directory.
We do not want to have that under version control, so we add it to .gitignore