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