pom.xml: factorize Jetty version
pom.xml: add dependency on jetty-jsp
about.html: remove the "back" link

With the overhead menu, it is obsolete.
Refactorization part 1: uniformize servlet names