Jeff: start of an /etc/init.d/pintod.debian file

I'm not yet satisfied, but here is what I've got.  Will push out the improvements as I sort this out.