add example web.xml config for gzip filter doc