add: travis-ci badge