Switch to Travis CI and coveralls