Add a python script to pretty-print the JSON files. Implement a bare bones editor.