docker-bash now supports high value PID

Convert the output of 'docker inspect -f {{ .State.Pid}}' to decimal notation and then round to the nearest integer for tools/docker-bash