PrismCL: Allow "-switch:options file" as well as "-switch file:options".#225

davexparker wants to merge 1 commit intoprismmodelchecker:masterprismmodelchecker/prism:masterfrom

davexparker:cl-switch-optionsdavexparker/prism:cl-switch-optionsCopy head branch name to clipboard