Using better Travis CI and Coveralls settings