Minor changes to travis.yml to fix coveralls support