In addition to changing the color editor widgets themselves, this
also involved changing the color map model to hold the NaN color,
add the NaN color to saved and builtin presets, and the glue to
push the NaN to the underlying server manager object.