tomcat: setup PID file for easier shutdown