Fixes #4723: Adds an explicit restart of tomcat to the reset script

to ensure that tomcat is restarted before db:seed is run.