zmq-based implementation with many enhancement

The core of sos was overhauled to use zmq for better scalability and stability. A number of new features such as named input have also been introduced. Please check the README of SoS for details.