Fix name of service restarted on user add

Currently the service restarted when a new user is added is hard coded as "tomcat", although the service is actually called "tomcat7" when the version number of tomcat specified is "7". Fix this.