Updated travis hook, renamed repository to Tools