[#1674] Add policy that pull requests shouldn't lower the test coverage

This was in #1674, but I sent the wrong branch to that pull request. This is the correct one.