wip #50 (devops). added smarter way to kill supervisord.

now we force killing it after some time and cleaning up the PID file