Migrate to tomcat 11.0.x

We are already on Java 17, so this should hopefully be a matter of just going through the points in the migration guide.

https://tomcat.apache.org/migration-11.0.html

Version 11.0.0 is probably a bit too early, though, so just placing this on TODO for the moment.