python3Packages.pelican: fix build
pythonPackages.nose: disable tests
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
nsd: fix description, license and platforms
Exponentially reduce computation time needed for replace-dependency by using memoization.

This patch makes two changes.

(1) It memoizes the computation of dependsOnOld.
(2) It replaces rewrittenDerivations with a similar memoized table rewriteMemo.

This prevents the entire tree of run-time dependencies from being traversed and instead only traverses the graph of run-time dependencies.
In the case of deep dependency changes (such as changing one's bash version for an entire NixOS system) this can lead to an exponential speedup in processing time
because shared dependencies are no longer traversed multiple times.

This patch isn't quite derivation-per-derivation equivalent to the original computation.
There are two immaterial differences.

(1) The previous version would always call upon sed to replace oldDependency with newDependency even when the store object being updated doesn't directly depend on
oldDependency.
The new version only replaceds oldDependency with newDependency when the store object being updated actually directly depends on oldDependency (which means there is
actually a hash to replace).
(2) The previous version would list the old store object as a source input of the new store object, *except* for the root derivation being updated.  Because the
root derivation being updated has its actual derivation avaiable the previous verions would make the updated root derivation depend on the old derivation as a
derivation input instead of a source input.
The new version always lists the old store object as a source input, including the root derivation.
Added me as a maintainer.