Travis badge: repo name fix