.zshrc: shorten trash function to encourage use
.zshrc: remove deprecated Java option