Updated travis-CI badge to point to the main repository.