Make offline version is more suitable for nginx

[FangNotFish]

If use_ext_html is enable,

1. all page files will end with ".html" extension.
2. docs.gl.js will automatically append the ".html" for links.