Merge pull request #4305 from vbgl/coq-containers

Working with Coq
Add haskell package wai-util to nixpkgs
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
update libwebp to fix giflib incompatibility
isabelle: Correct the 2014 sha value for Linux
isabelle: Remove Linux patches (is this correct?)
isabelle: Another Linux hash change?
Updates camlp5 6.11 -> 6.12
hol_light: update to r199

And adds compatibility with camlp5-6.12
Sound of Sorting: New Package

Sound of Sorting is an array-sorting visual+sound demo program.
It shows an array as a list of horizontal bars, and realizes a
step-by-step sorting of it. Moreover, it colorizes and emits a
"8-bit-game-like" sound throughout its execution.

Closes #4341