bluez5: add experimental expression for bluez5

bluez5 has many changes relative to bluez4. Most notable are dependency on
linux-3.4 and new dbus API.
bluez5: mark bluez5 with loPrio
Add cleanupCmds option to pkgs.myEnvFun

This option allows the user to specify commands to run when the shell
exits. This can be used to cleanup operations done in `extraCmds'.

Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
Update gnutls to 3.1.10.
notmuch: patch source to use full path of gpg2

gets rid of the dependency on the old gnupg1. and enables decryption
even if the gpg binary is not in the users environment.

warning: i don't know whether the switch from gnupg1 to gnupg
introduces any incompatibilities. this is a works for me patch.
ProofGeneral: Workaround for bug #458

"ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90"
http://proofgeneral.inf.ed.ac.uk/trac/ticket/458
Adding go 1.1 beta
Merge pull request #478 from falsifian/update_gnutls_clean

gnutls: update to 3.1.10 (security fix)
Virtuoso: upgrade to 6.1.6
Qt4.8: upgrade to 4.8.4
lftp: use a download location that keeps old versions around
Merge pull request #493 from c9/use-stable-lftp-download

Excellent, thanks!
subversion: Update to 1.7.9

CVE-2013-1845, CVE-2013-1846, CVE-2013-1847, CVE-2013-1849,
CVE-2013-1884.
krb5: Update to 1.10.5

CVE-2012-1012, CVE-2012-1013, CVE-2012-1015, CVE-2012-1016,
CVE-2013-1415, CVE-2013-1416.
Fix clisp 2.44.1 (needed by stumpwm).

This fix applies the patch used for the newest clisp to the old,
fixing errors with new glibc.

Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
Merge pull request #494 from the-kenny/fix-clisp-2-44-1

clisp-2.44.1: fix build (needed by stumpwm).
DBIxClass: Update

Signed-off-by: Shea Levy <shea@shealevy.com>
jboss: Update to 7.1.1.Final

Signed-off-by: Shea Levy <shea@shealevy.com>
stlink: new package

stlink is an in-circuit debugging and programming tool for ST-Link v1
and v2 devices. It is similar to OpenOCD but just for ST-Link devices.

  https://github.com/texane/stlink

IMPORTANT: You need permissions to access the stlink usb devices. Here
are example udev rules for stlink v1 and v2 so you don't need to have
root permissions (copied from <stlink>/49-stlink*.rules):

  SUBSYSTEMS=="usb", ATTRS{idVendor}=="0483", ATTRS{idProduct}=="3744", MODE:="0666", SYMLINK+="stlinkv1_%n"
  SUBSYSTEMS=="usb", ATTRS{idVendor}=="0483", ATTRS{idProduct}=="3748", MODE:="0666", SYMLINK+="stlinkv2_%n"
fix jquery-ui link