Adds license CeCILL-B
coq: setup-hook for libraries

Adds a hook to automatically populate the $COQPATH variable.
Coq libraries are expected to be installed in

    lib/coq/${coq-version}/user-contrib/
Adds three coq libraries: containers, mathcomp, ssreflect

Containers is a reimplementation of the FSets/FMaps library from the
standard library, using typeclasses.

Homepage: http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4

The Mathematical Components (mathcomp) contains advanced theory files
covering a wide spectrum of mathematics.

Homepage: http://ssr.msr-inria.inria.fr/

Ssreflect is a proof language (plugin for Coq) and a small set of core
theory libraries about boolean, natural numbers, sequences, decidable
equality and finite types.

Homepage: http://ssr.msr-inria.inria.fr/
Removes duplicate ssreflect
ProofGeneral: makes the dependency on TeXLive optional

And fixes the default value of $PGHOME
nixpkgs manual: packaging coq libraries
Update Pharo VM

- use latest upstream release
- remove all patches as they are now applied upstream
Merge pull request #4274 from DamienCassou/pharo-vm-update

Update Pharo VM
Merge pull request #4305 from vbgl/coq-containers

Working with Coq
nfs-utils: add missing python dependency

nfsiostat is written in python.

python is already in the closure of nfs-utils, so this adds no cost.
isabelle: 2013 -> 2014, plus add darwin support
btrfsprogs: 3.16 -> 3.16.1
drumkv1: update from 0.5.0 to 0.5.1
qtractor: update from 0.6.2 to 0.6.3
samplv1: update from 0.5.0 to 0.5.1
simplescreenrecorder: update from 0.3.0 to 0.3.1
synthv1: update from 0.5.0 to 0.5.1
xf86_input_wacom: update from 0.26.0 to 0.26.1
Add a binary distribution of Apache Jena RDF storage system
A small vanity counter for finding top-grossing committers