Added the cover directory to .gitignore.

Fixes bug #1123300

Change-Id: Id122bb0d3cfa6c2e78bced622b7dd24a940b5e65
Merge "Added the cover directory to .gitignore."