Update android sdks

Signed-off-by: Shea Levy <shea@shealevy.com>
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
haskell-GLUT: update to version 2.5.0.1
haskell-packages.nix: disable transformers 0.3.0.0 when building with GHC 7.7 or later

It's a core package now.
haskell-packages.nix: update 'cgi' to version 3001.1.8.4 when building with GHC 7.7 or later

Not that it helps much ... the package depends on MonadCatchIO-mtl, which is
broken in the latest version of GHC.
haskell-packages.nix: enable dynamic linking in GHC 7.7 or later

The current snapshot requires shared libraries to be built (otherwise
some packages won't build). I'm sure that's a mistake in the way it's
configured that should be fixed. Anyway, enabling shared library support
is an easy way out (and an interesting experiment).