Update version of coverage patch in .travis.yml