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>
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
Merge commit 'refs/top-bases/tmp/x-updates-fixes' into tmp/x-updates-fixes

* commit 'refs/top-bases/tmp/x-updates-fixes':
  libpng: bugfix update 1.6.1 -> 1.6.2
  xorg-server: clear the bogus font paths

Conflicts:
	pkgs/servers/x11/xorg/overrides.nix
glib fix
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
x11vnc: Properly hard-code the path to xdpyinfo

This never worked before, I don't think

Signed-off-by: Shea Levy <shea@shealevy.com>
Adding filegive, my file sending program
Adding description to filegive