Recover gracefully if the pid/socket files are obsolete

E.g. if the server process has received SIGKILL and so didn't get to
cleanup.

Fixes #7