travis: keep up with changed repository names

The joy of relying on 3rd-party repositories -- behold!