ati-drivers: bump version to 14.4
ati_unfree: Create a nixos module for the ati_unfree x11 driver and
blacklist the radeon driver when ati_unfree is installed.
ati_unfree: Towards using ati unfree 32bit binary libs
ati_unfree: Update nixos-manual for AMD driver support
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
teamspeak_client: Remove qt4 dependency.
teamspeak_client: Use nixpkgs quazip instead of provided library.
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.
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.
Add "cask" package
Fixes coq-8.3: requires OCaml 3.12