Merge pull request #512 from dysinger/t/libcello

Add libcello (libcello.org)
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 pcl. (Also updating flann, reworking vtk)
pwnat: Fix evaluation
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.
Revert Merge x-updates into master due to mesa bloat

See #490 discussion.

This reverts commit 1278859d3167b9f84bfab680d9c8c463adf64a60, reversing
changes made to 0c020c98f9d4f49d5c9907db5f4b35aac7df959b.

Conflicts:
	pkgs/desktops/xfce/core/xfce4-session.nix (take master)
	pkgs/lib/misc.nix (auto)
sysvtools: fix symlink when withoutInitTools = false
Adding E-KRHyper theorem prover
sysklogd: Don't remove /dev/log when syslogd exits

This messes up systemd-journald.
Adding a KDE wrapper, to easily have KDE programs in nix-env.

Specially for those not running KDE.
kdewrapper: fixes in env vars
Adding pygobject3 (for bluez4).

bluez-simple-agent fails to work otherwise.
We discussed this a bit on #486, and this looks like the simplest way to
get bluez-simple-agent again.
Update Racket: patch by Karn Kallio
firefoxWrapper: Add libcanberra gtk module to firefox
Amarok: fix build against KDE 4.10
libbluedevil: update to 1.9.3
bluedevil: update to 1.3.1