Upgrade zeromq and nanomsg
Merge pull request #2970 from tailhook/nanomsg_and_zeromq

Upgrade zeromq and nanomsg
libid3tag: apply fixes before build

Amongst other things, this stops things like mpd spinning up to full
memory when updating the database.
mpd: clean up some flags

Some changed, some are no longer used.
haskell-STMonadTrans: new expression
haskell-equivalence: new expression
haskell-free-operational: new expression
haskell-boxes: new expression
Agda: add 2.4.0.1, 2.3.2.2 is still the default for now