bashrc: color-enabled man pages