fix travis badge due project renaming