added json file formats doc
Merge branch 'integration' into scala-frontend
working on the theory save/load