Added dropdown in tomcat manager for the different servers