Fixes coq-8.3: requires OCaml 3.12 and lablgtk 2.14

This lablgtk expression feels like overkill to me.  I can see some uses, but not enough that the complexity is warranted, IMHO.  Is there a precedent for this style?