some useful zsh options and aliases