Fixes coq-8.3: requires OCaml 3.12
mkOcamlPackages: simpler rule for lablgtk
Version bump: libfm-1.2.2.1 and menu-cache-0.7.0
pcmanfm: version bump to 1.2.2
biber: version bump to 1.9
vobsub2srt: update to 20140817
Merge pull request #4133 from vbgl/coq-8-3

Fixes coq-8.3: requires OCaml 3.12 and lablgtk 2.14
Merge branch 'maintainer-updates'