Major change to model JSON:  merge extraDescriptions into
givenModelNodes.  Class "model" now has subclasses:
   "model.given" all given model nodes, including extras.
   "model.solution" is all nodes in the given solution.
   "model.student" student nodes.
Updated documentation and various accessor functions to
match new notation.