Upgrade tomcat version in docs