Always add extension=zmq.so to any PHP CLI exec.

It doesn't hurt anything to add the extra configuration.  It makes it
easier on users if they forget or don't have rights to change the
global php.ini.  The only downside is that it hardcodes the .so
extension.