Rename version 10.1 to 11

[Jose Illescas]

I think that Tomcat mayor version must be change when updateing some of
their specs (servlet/jsp7/websockets/...)

This strategy allow us to refer to tomcat with: Tomcat-9 or Tomcat-10
avoiding annoying names as tomcat-10.0.X or tomcat-10.1.X

    IMHO I think that Tomcat 10.1.X version must be renamed to 11.X

Thank You