perl: Update to 5.16.3, 5.14.4

CVE-2013-1667

Cherry-picked from stdenv-updates.
glibc: Remove 2.13

It's not used and has security bugs.
glibc: Require Linux 2.6.32 instead of 2.6.35

By popular demand.  For instance, many widely used RHEL systems are
still on 2.6.32.
glibc: Security fixes.

CVE-2013-0242, CVE-2013-1914.
gtk2/3: bugfix updates
WARNING: history from now is going to change (mesa+llvm)

Current WIP, only tested nouveau (3D works very well).
llvm: add forgotten patch, WIP
mesa WIP: patch bad rounding (was OK on my HW, but not on hydra)
mesa WIP: adding salt to restart hydra

Hydra seems to have a problem with multiple-output derivations.
mesa WIP: preferLocalBuild, hopefully work around
adding alchemy painting application
Adding Otter theorem prover. The development is frozen, but because of that Otter is considered a very reliable prover from soundness point of view.
Adding E-KRHyper theorem prover
Adding jq JSON processor
Merge branch 'master' into stdenv-fixes
Fix NS plugin wrapper build
Support pre-start commands from newer NixOS versions in xlaunch
vmware driver: depend on mesa_drivers to find libxatracker
mesa WIP: bugfix-only update, minor tweaks, prune features

Also disabled the workaround for #118.
update to 2013Q1 Intel Graphics Stack Release

This changeset updates to all of the versions in
https://01.org/linuxgraphics/downloads/2013/2013q1-intel-graphics-stack-release
(but does not regression from newer version).

I tried generating 'servers/x11/xorg/default.nix' with the perl script,
but unrelated packges changed, so I just manually updated the file.