Simple WSGI middleware for automatic gzipping.