Update Travis badge

Since we renamed the repo, the Travis badge needs to be updated to the
new repo name.