MAI: pass `solver` arg to function `synth.synthesize` in example
MAI: pass `solver` arg to function `synth.synthesize` in example

so that the option is demonstrated in at least one example.

tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control