Supervisord needs a pid file for the process it needs to kill

Supervisor can't kill processes that fork and handle signals in the child - it needs to be told about the child's PID by means of a pid file.
This commit allows running phenny under supervisor.

See http://supervisord.org/subprocess.html#pidproxy-program for specific documentation.