Remove `.jsf` suffix from all URLs
This PR enables the Jakarta Faces option jakarta.faces.AUTOMATIC_EXTENSIONLESS_MAPPING that is available after the Java/Tomcat update to the Faces 4 specification, see MyFaces 4 options.
This allows to get rid of the ugly .jsf extension inside all urls:
- old URL:
/kitodo/pages/login.jsf - new URL:
/kitodo/pages/login
The upcoming Kitodo.Production 4.0 release might be a good opportunity to implement such a breaking change that might cause additional migration efforts, e.g., when adjusting deployment configurations or updating monitoring scripts that assume certain URLs.
If backwards compatibility for existing bookmars etc. with the .jsf extension is required, this could perhaps be achieved using the Tomcat "rewrite valve" functionality: https://tomcat.apache.org/tomcat-9.0-doc/rewrite.html