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
Amarok: fix build against KDE 4.10
libbluedevil: update to 1.9.3
bluedevil: update to 1.3.1
KWebKitPart: new package
Typo in pcl meta
pakcs: update to version 1.11.2
libftdi: bump to version 0.20

Needed for openocd 0.7.0 (added in the next commit).

NOTE: There is also a libftdi 1.0 version, but openocd only needs 0.20
so I didn't bother. (libftdi 1.0 uses CMake build system and has lots of
changes.)
openocd: bump to version 0.7.0

OpenOCD 0.7.0 has grown a dependency on libusb1.
openocd: update homepage

The old one still works, but it redirects to the new one:
http://openocd.sourceforge.net/
Apparmor: update to 2.8.1
Calligra: update to 2.5.5 this time for real
webtest depends on unittest2 on python 2.x

This fixes its build with python 2.7.
Merge pull request #515 from bjornfor/openocd

OpenOCD: bump from 0.6.1 to 0.7.0