Bash for git shortcuts, plus some goodies