sbt: update to version 0.13.7
new package: pond
Merge pull request #4372 from drvirgilio/pond

new package: pond
agda-pretty: mark as broken

Broken by updating the stdlib to 0.9. For now I let the author know.
Revert "zmq: initial package"

This reverts commit b9c7f8dba1cf5a21166bac8c7a68e98067d18717.

Conflicts:
	pkgs/servers/zeromq/default.nix
	pkgs/top-level/all-packages.nix
fabric: update to 1.10.0
Merge pull request #5054 from j-keck/master

sbt: update to version 0.13.7
Add Ubuntu 14.10
Update to Debian 7.7
nasm: downgrade again until syslinux gets fixed

Syslinux won't compile with the new version http://hydra.nixos.org/build/17236670
We've already had one update+revert cycle before.
CC @psub.