Remove websocket (in favor of future server-side events) and move rpc/http address for concurrent DVID instances to options.