Updated TravisCI badge to look at the new repository