Change in pysim[master]: pySim-shell: export: allow export as JSON instead of hex