add Travis CI badge and COVERALLS badge