Change in pysim[master]: pySim-shell: more generic export options