.zshrc: add more Git aliases
.zshrc: fix $JAVA_HOME at work