When flattening, don't save @Strippable groups.
Added copyManagerProperties().

Copies manager properties but omits fully-stripped config types.
Do the copyManagerProperties() as part of flattenAndStrip().
Don't write the new file if unchanged.

Using Properties' non-deprecated write method causes it to
always poop out a timestamp comment, which is supergoodfun for
version control.