travisCI: added installtion of repotools from github