Add new DefaultServlet initparam of otherGzipFileExtensions