Improve the setup of `$DOCKER` in the common library so it will use `sudo docker` only in cases where the user doesn't already have direct access.
Improve the setup of
$DOCKERin the common library so it will usesudo dockeronly in cases where the user doesn't already have direct access.