GH-5064: added docker makefile for Jetty 9

[barthanssens]

GitHub issue resolved: #5064

Briefly describe the changes proposed in this PR:

• add docker makefile for Jetty 9
• updated docker makefile for Tomcat 9 (instead of 8.5)
• updated e2e tests to run the tests for both Jetty and Tomcat
• minor updates of documentation
• added leading slash in overview.jsp to redirect to correct path (Jetty)

---

PR Author Checklist (see the contributor guidelines for more details):

• my pull request is self-contained
• I've added tests for the changes I made
• I've applied code formatting (you can use mvn process-resources to format from the command line)
• I've squashed my commits where necessary
• every commit message starts with the issue number (GH-xxxx) followed by a meaningful description of the change

[hmottestad]

The end-to-end tests probably just build the default dockerfile. Could you have it run against both the default/current and the jetty one?

[barthanssens]

Ah, good thinking, forgot about that

[barthanssens]

Workbench seems to work, but still an issue with 404 on overview.view on the server

Jetty redirects the "home page" to rdf4j-server/WEB-INF/views/home/overview.view instead of rdf4j-server/home/overview.view

[hmottestad]

What happens if the test fail for tomcat but not jetty? Does it still error out?

[barthanssens]

hmz yes, that's on the TODO list (and it probably doesn't hurt to update the docker documentation as well...)

[barthanssens]

fixed