Add ReadStream and WriteStream interfaces to PHP namespaces.
Support vertx_stop() cleanup function.