PID file error handling

Complain precisely to stderr in the event of invalid PID file content

* A blank PID file
* A PID file with content other than an integer expression
* A PID file containing an integer that overflows the legal PID range

Fixes #12.