integrating Travis CI and Coveralls