Redo zsh prompt a bit
dot.zshrc: simplify prompt stuff slightly