performance: HTML gzippen

Dit zorgt voor ~75% minder data die verzonden hoeft te worden (vooral op
langere pagina's zoals de agenda). Bovendien nog een Content-Length
header: als de lengte bekend is, is het altijd beter die vantevoren te
vertellen.