Ben: fix new usernames for github, add travis config