Merge pull request #1289 from alex/simplify-coverage

Move coverage configuration to the config file