Zsh plugin for producing a Colored man page