Adds ocaml-fix

Fix is a simple OCaml module for computing the least solution of a system of monotone equations.

Homepage: http://gallium.inria.fr/~fpottier/fix/
Adds ocaml-pprint

Pprint is an OCaml adaptation of Wadler’s and Leijen’s prettier printer.

Homepage: http://gallium.inria.fr/~fpottier/pprint/
Adds ocaml-functory

Functory is a distributed computing library for Objective Caml which facilitates distributed execution of parallelizable computations in a seamless fashion. Further, it is
polymorphic, incorporates a robust fault-tolerant mechanism and is already being deployed in real-world applications.

Homepage: https://www.lri.fr/~filliatr/functory/
Adds mezzo

Mezzo is a programming language in the ML tradition, which places strong
emphasis on the control of aliasing and access to mutable memory.

Homepage: http://protz.github.io/mezzo/
Fixes coq-8.3: requires OCaml 3.12
Added me as a maintainer.
libchardet: added package
libbluray: adopt and update the package to meet cmplayer's requirements
Update KDevelop to 4.7.0.
cmplayer: add package
cmplayer: store patch with expression
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'
Add commons-math (binary until I get maven build working)

Drop jakarta name from fileupload and update its version

Jakarta regexp has been officially retired, and nothing in nixpkgs uses it, so let’s get rid of it.

Add commons-io

More commons additions/cleanup

Closes #4181

Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Update maven to 3.2.3 and put it in a more sensible location

Closes #4187.

Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>