gitignore: ignore coverage files
Travis-CI: check coverage after successful build