Rename robot-websocket-functions to specification.websocket