Fine tune .travis for coveralls