VOMS config: do not restart Tomcat after a config change by default

variable VOMS_TOMCAT_RESTART_CONFIG added to force it