plugin API for server.py
a python script can be given on the command line and its code will be exec'ed in the global context of server.py.
the plugin can over-ride: WebSocketOpenHook, PostRequestHook, GetRequestHook, and MainPageHook.