Fix docker_get_id for newer versions of Docker (closes #5)