fix repo name in travis badge