Add option to have ftest kill all tomcat processes before starting

When a jenkins job times out, tomcat processes are often left running, which interferes with subsequent jobs.
Add an option to have ftest kill those processes before starting a new server.