tomcat: add new parameter to print tomcat version