update wavefront to json converter (wf2jsonapp.py)