GzipFilterProperties for configuring the Jetty gzip filter is wrong

[criemen]

Hey,

you got some typos in the properties for the jetty gzip filter:

• excludedAgentPatterns should be excludeAgentPatterns
• excludedPaths should be excludePaths
• excludedPathPatterns should be excludePathPatterns.

This means that these properties don't work at all :-(

Maybe you could expose excludedMimeTypes as well.

[snicoll]

good catch, thanks!