Adds travis-ci badge