travis: use git checkout and not my own shortcuts