More exhaustive documentation of JSON messages

Implements the idea in #83, namely it provides examples covering all constructors that can appear, with a cut-off to circumvent infinite schemas.

Also adds a scroll-bar to the modal window, so that larger examples can be displayed.