.bashrc: added color to man pages