Bump jetty.version from 9.4.30.v20200611 to 9.4.31.v20200723
Bump jetty.version from 9.4.30.v20200611 to 9.4.31.v20200723

Bumps `jetty.version` from 9.4.30.v20200611 to 9.4.31.v20200723.

Updates `jetty-all` from 9.4.30.v20200611 to 9.4.31.v20200723

Updates `apache-jsp` from 9.4.30.v20200611 to 9.4.31.v20200723
- [Release notes](https://github.com/eclipse/jetty.project/releases)
- [Commits](https://github.com/eclipse/jetty.project/compare/jetty-9.4.30.v20200611...jetty-9.4.31.v20200723)

Signed-off-by: dependabot[bot] <5bdcd3c0d4d24ae3e71b3b452a024c6324c7e4bb@github.com>
dblock/waffle,dblock/waffle,dblock/waffle,hazendaz/waffle,Waffle/waffle,hazendaz/waffle,hazendaz/waffle,dblock/waffle,Waffle/waffle,Waffle/waffle