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.
Lighttpd: Enable SSL

With this patch support for SSL is compiled into lighttpd.

IMO encryption is in most use cases important, therefore SSL support should be build in. This would simplify the setup of a standard web application a lot.
 
SSL support of lighttpd is documented at  
  http://redmine.lighttpd.net/projects/1/wiki/Docs_SSL
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
Add limnoria, a well maintained fork of Supybot, an IRC bot
haskell-shakespeare-css: disable Haddock generation to fix the build
haskell-crypto-conduit: jailbreak to fix build with recent version of crypto-api
haskell-crypto-conduit: revert "jailbreak to fix build with recent version of crypto-api"

This reverts commit 471362de9532c5e73c90e3f62cf7bfe7d8779eb3.
Accidentally committed in the wrong branch.
haskell-shakespeare-css: revert "disable Haddock generation to fix the build"

This reverts commit 73b4546fa80caacc2cad8f4d697ab5906d456ba6.
Accidentally committed in the wrong branch.
haskell-ghc-heap-view: update to version 0.5
haskell-http-reverse-proxy: update to version 0.1.1.5
haskell-mainland-pretty: update to version 0.2.6
haskell-shakespeare-js: update to version 1.1.4
haskell-shakespeare: update to version 1.0.5
ghc: bump HEAD compiler to version 7.7
pkgs/build-support/cabal: disable split-objects for GHC 7.7 builds to work around broken compiler
idris: drop obsolete package, it doesn't compile anywhere