A basic Docker installation is fine and all, but these four tools can elevate its functionality to the next level ...