Make WEBSOCKET_PING_INTERVAL_SECONDS overridable from the command line