Added WebSocket configuration option

Added configuration of ping interval, as requested.