VOMS config: do not restart Tomcat after a config change by default
(variable VOMS_TOMCAT_RESTART_CONFIG added to force it)
Merge pull request #75 from jouvin/umd3-voms

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