Adds badge for travis-ci