Fixing travis-ci badge after repo move