Bumps [jetty-servlet](https://github.com/eclipse/jetty.project) from 9.4.22.v20191022 to 9.4.23.v20191118. - [Release notes](https://github.com/eclipse/jetty.project/releases) - [Commits](https://github.com/eclipse/jetty.project/compare/jetty-9.4.22.v20191022...jetty-9.4.23.v20191118) Signed-off-by: dependabot-preview[bot] <support@dependabot.com>