Need zmq4, and may as well specify ghc 7.8 too

Signed-off-by: Sharif Olorin <sio@tesser.org>