Pre-gzip html files for sending via nginx

- Fixes #522 

- Uses the `gzip_static` nginx directive
- gzip all of the html files in `build_site.sh`

TBD if this has a material impact on performance, @ycombinator