Git: more useful aliases