.bashrc: some git aliases