Add websocket feature to generate_nginx_conf.pl