API: use synthesis options `moore, plus_one, qinit` of `specs` in `synth`
API: use synthesis options `moore, plus_one, qinit` of `specs` in `synth`

unless they are defined for the transition systems given to
the function `synthesize`. In that case, these options should
agree between the transition systems and the `specs`.

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