Update android sdks

Signed-off-by: Shea Levy <shea@shealevy.com>
Upgrade opus from 1.0.2 -> 1.0.3
Upgeade avahi to 0.6.31

Additionally, link compatability files for dns_sd.h and howl as these are
needed to build mumble and potentially other avahi using derivations.
Properly configure mumble to build without the server and libopus
Add Build Script for Murmur
Revert android build tools update

https://code.google.com/p/android/issues/detail?id=61710
Signed-off-by: Shea Levy <shea@shealevy.com>
nagios-plugins: fix download URL (no longer available from sourceforge)
ess-mode: update to version 13.09
valgrind: Update to 3.9.0
sup: use specific version of mime types
sup: update to latest version, use better version number
sup: fix chroot build

By making fetchgit a fixed-output derivation.
postgresql: Fix shutdown

Postgres was taking a long time to shutdown.  This is because we were
sending SIGINT to all processes, apparently confusing the autovacuum
launcher.  Instead it should only be sent to the main process (which
takes care of shutting down the others).

The downside is that systemd will also send the final SIGKILL only to
the main process, so other processes in the cgroup may be left behind.
There should be an option for this...
Update node packages

Signed-off-by: Shea Levy <shea@shealevy.com>
alex: update to version 3.1.3
happy: update to version 1.19.2
all-packages.nix: cosmetic, no functional change
Fix references to haskell-opengl 2.9.1.0.
ghc-head: update to today's git snapshot and arbitrarily dub it version 7.7.20131202
haskell-packages.nix: cosmetic