Update Travis CI config to test fix-otherwise-coverage branch