adding travis-ci badge