Add option to switch to JSON editor

[frankhart2018]

As the code is edited in a UI-based editor, give the option to toggle between this UI editor and a JSON editor, so that the user can directly manipulate the JSON (as some people may prefer JSON over UI).