Fixes coq-8.3: requires OCaml 3.12
mkOcamlPackages: simpler rule for lablgtk
Merge pull request #4133 from vbgl/coq-8-3

Fixes coq-8.3: requires OCaml 3.12 and lablgtk 2.14