Working around a problem in docker failing to kill process

I've reported this upstream as
https://github.com/dotcloud/docker/issues/2920, which is merged into
https://github.com/dotcloud/docker/issues/2436

In the mean time, working around this problem on our side by using
"docker kill" to shut down the container. This requires the use of
cidfile.