travis-ci and coveralls configs