update `make docs` target to zip the HTML after building it