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>
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
filegive: update to 0.5.1

nat-pmp, fixed upnp bugs, ...
filegive: fixing licence, adding maintainer
libevent: set platforms
ncdu: set platforms
clang: Pass the real gcc install prefix

Signed-off-by: Shea Levy <shea@shealevy.com>
cython: set platforms
Try to fix the tarball.

stdenv.gcc.gcc might be null, e.g. on ppc-linux

Signed-off-by: Shea Levy <shea@shealevy.com>
binutils_gold: Don't require unneded dependencies.

Based on my scan of the logs they weren't even used when enabled

Signed-off-by: Shea Levy <shea@shealevy.com>
Make some arguments passed to all-packages.nix available in the pkgs set

These are needed to re-call <nixpkgs/pkgs/stdenv> to, say, deeply override glibc

Signed-off-by: Shea Levy <shea@shealevy.com>
add dontBuild docs
autojump: bump and reogranize a bit, not functional yet
Update spotify to 0.9.0.133.

Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
fix autojump licence attribute
spyder: new package

Spyder (previously known as Pydee) is a powerful interactive development
environment for the Python language with advanced editing, interactive
testing, debugging and introspection features.

The name Spyder comes from Scientific PYthon Development EnviRonment.
Merge pull request #502 from bjornfor/spyder

spyder: new package
Merge pull request #498 from the-kenny/fix-spotify

Update spotify to 0.9.0.133
Merge pull request #485 from maggesi/proofgeneral_updates

ProofGeneral: Workaround for bug #458
autojump: add bash as buildInput