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
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
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
Merge pull request #464 from the-kenny/my-env-exit-commands

Add cleanupCmds option to pkgs.myEnvFun. The downside is that /bin/sh remains in memory to be able to execute cleanup commands.
Add optional third party support for fullWebDAV.

This follows the directions fom http://wiki.nginx.org/HttpDavModule.
pstree: version bump from 2.33 to 2.36
nginx: Don't fetch the full WebDAV extension unless needed

Signed-off-by: Shea Levy <shea@shealevy.com>
xarchive: add gtk archiver
Merge pull request #504 from modulistic/master

pstree: version bump from 2.33 to 2.36
spyder: add recommended and optional dependencies

Spyder says about itself that it has

  ...the support of IPython (enhanced interactive Python interpreter) and
  popular Python libraries such as NumPy (linear algebra), SciPy (signal
  and image processing) or matplotlib (interactive 2D/3D plotting).

So I think having those available as default is a the right thing to to.
(We can easily make a stripped down spyder expression if needed later.)

I've added the list of recommended and optional dependencies as
described here:

  http://pythonhosted.org/spyder/installation.html#dependencies
WIP: spyder: create desktop menu item

FIXME: the icon isn't found (KDE displays question mark instead of icon)