bashrc colorized man pages