"config-synthesizer" instead of "config-constructor"

[olvlvl]

The term "synthesize" is used when referring to config fragments being merged. Thus, the config-constructor key in the auto-config schema should be renamed as config-synthesizer.

https://github.com/ICanBoogie/ICanBoogie/blob/master/auto-config/icanboogie-schema.json