upgrade nginx to 1.3.15. WebSockets support