hg-git: 0.3.1 -> 0.6.1, and its dependency dulwich: 0.8.7 -> 0.9.7
zsh: enable pcre
zsh: bump version
dulwich: added tests dependencies.
Windowmaker: update to 0.95.6
nixos: increase timeout for jenkins/munin systemd services
package update: go-1.3.1 -> go-1.3.2

Closes #4279
agda-iowa-stdlib: renamed from aaron-stump-stdlib

Per author's request.
Merge pull request #4301 from AndersonTorres/windowmaker

Windowmaker: update to 0.95.6
pythonPackages.configobj: new version needs six as dependency
New package: tty-clock-0.1
Merge pull request #4302 from k0ral/tty-clock

New package: tty-clock-0.1
nixos: munin/jenkins: specify timeout correctly
nsd: add hrdinka to maintainers
nsd: update to version 4.1.0
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