Add pid file argument to the CLI

Immediately, this is useful for running the CLI as part of an
integration test.
In the future it might be helpful when running multiple copies of
gitdocs for different users.