Progress on Glr_parser.
Added Hashtbl.map via Scm_util, which takes a function of type ('k1 -> 'v1 -> ('k2, 'v2) Hashtbl.t) (and does the obvious thing).
Minor clarification in Opengl_visualization.
Merge branch 'master' of https://github.com/Markov-Grammatical-inferencer/shiny-computing-machine