wsgi: Add WebSocket JSON RPC feature
simple_switch_websocket_13: Add get_arp_table RPC method