Rename "decolore" option

Make its function clearer, and also keep previous behavior if the
config option is not defined.