Fixing travis-ci badge url