Added custom oh-my-zsh theme, plus some machinery to support it