Manpages of colorgcc in Debian stretch