Jeff: Have a working stop target for /etc/init.d/pintod.debian

This script now harvests the starman pid, stashes it at /var/run 
and uses it to kill the master starman process (and its children) 
when run with its stop target.