git: Introduce 'up' alias to be used instead of pull.

As recommended by http://stackoverflow.com/questions/15316601/in-what-cases-could-git-pull-be-harmful .