Changing zsh theme once again. juanhertado is also an option