Upgraded nginx, ngx_openresty, and ngx_pagespeed.

nginx now at 1.7.2.
ngx_openresty now at 1.7.0.1.
ngx_pagespeed now at 1.8.31.4.