Re: [DynareDev] [Trac] #294: rework option handling