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/
dcfldd: added advanced dd replacement
r-jsonlite: update to 0.9.11
r-rgdal/rgeos: adding gdal geos and proj as dependency
New packages: pam_mount and libHX

Add pam_mount package. Integration into NixOS is still missing.
Merge branch 'upstream' into pam_mount

Conflicts:
	pkgs/top-level/all-packages.nix
Fix description in pam_mount and libHX. Add tstrobel as maintainer.
teamspeak_client: Remove qt4 dependency.
teamspeak_client: Use nixpkgs quazip instead of provided library.
added alock package
rustc: fixed build after 7068828389390dca066fb1062bd27148d49339d4

That commit changed the patch to work for the new HEAD, but that new
patch breaks 0.11. I made two patch for the two versions.
Configure gnupg to use pinentry by default.

This makes gnupg much more usable out of the box.
Remove obsolete patch.
Remove use* options and let the user set optional dependies to null if
they don't want to use them.
Apply recent changes from gnupg/default.nix to gnupg/git.nix

gnupg/git.nix doesn't build, but it didn't build before either.
Add coreutils dependency to ant launcher script

Closes #4106.
krb5: Update to 12.2.2.

Fixes security vulnerabilities CVE-2014-4341, CVE-2014-4342,
CVE-2014-4343, CVE-2014-4344 and CVE-2014-4345.