Update docker.pp: add user to group if not present