SerializedConfigValue

Deliberately shoving all the serialization code into this class instead of
doing it OO-style with each subclass. Seems better to have it all in one
place. This class implements a lame serialization format that supports
skipping unknown fields, so it's moderately more extensible than the default
Java serialization format.