Add Paul Rudin's ssh public key to the ansible developers role

As per https://guidebook.devops.uis.cam.ac.uk/en/latest/workflow/onboarding/