Improve JSON editors with formatting and syntax highlighting

[davidebriani]

The Dashboard employs simple textareas to display and modify the JSON definitions of interfaces, triggers and trigger delivery policies.

The UX could be much improved by using actual text editors that support formatting and syntax highlighting.

A bonus point would be to have the possibility to report warning and errors directly on precise text locations, in order to colocate JSON fields with corresponding validation errors.