document --color option in the man page (Richard W.M. Jones)