Generation options tab

Generation options tab contains additional options for Magik code generation: