add Travis CI and coveralls badges