Change zsh theme, fix local aliases, man coloring