Merge branch 'new-devops-users-role' of...

Merge branch 'new-devops-users-role' of gitlab.developers.cam.ac.uk:uis/devops/infra/ansible-roles into new-devops-users-role

Renaming devops users role