Use web socket for server push

Use web socket instead long polling for the current server push implementation. Note that this is not the equivalent of web socket serverpush in Zk EE as there's no web socket base rendering engine implementation.