Stream Sockets

This is a work in progress for refactoring Boris to use the socket support of the stream extension, which is the preferred API for dealing with sockets in PHP.

This also drops the dependency on the `socket` extension and closes #9.