Sockets don't have finalizers

Created by: bos

The Socket type is not resource-managed correctly: if a Socket is garbage collected without having been closed, the underlying 0mq socket will leak. It needs a finalizer associated with it to do this.