Added pid() in docker/docker.cpp to get the pid of the container.
Merge pull request #1 from yifan-gu/add_pid

Added pid() in docker/docker.cpp to get the pid of the container.
Add docker flag and address comments