Move coverage configuration to the config file
Merge pull request #1289 from alex/simplify-coverage

Move coverage configuration to the config file