update travis badge to reflect new (not really new) repo name