web shell: format result as JSON

...temporarily.  We may need to write a proper fomatter later, e.g.
"[1;2;$pinf]" instead of "[1,2,Infinity]"