travis-ci: add Travis CI build status badge