Add the Geant4 Monte Carlo radiation transport toolkit and its Python bindings.
update bud to 0.32.0 (WIP)
vtk: Update from 5.10.0 to 5.10.1
update google music-manager
rJava: adding missing dependencies and JAVA-env-variables
update links
Allow ansible to install on darwin platforms

I am using this package on my Yosemite install of OS X and it works great. It also pretty closely follows the Homebrew recipe that most OS X users use, so I think we can open it up to other OS X users.
Update to latest ansible version
hg-git: 0.3.1 -> 0.6.1, and its dependency dulwich: 0.8.7 -> 0.9.7
Removed all versions of geant4 except for the latest one.
postgresql: use configured port when invoking psql
dulwich: added tests dependencies.
elixir: make curl available to mix
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
Fixed idris wrapper to make idris work with different backends.

Closes #4314