ide; save workspace file (.ews) in json format. closes #882.