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.
eclipse: add latest stable eclipse (sdk), fix 3.7 urls, introducing more declarative style (use getAttr in favour of if)
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.