Merge pull request #236 from antmicro/dump_options

Add handling of dump options