Fixed up travis-ci badge