JSON editor and history for demo

  Implemented a JSON editor, saving it and displaying the list of JSON
files. The saving doesn't work right now.