Use SSH credentials instead of gitlab token for lorry mirroring.

This also includes a script for automatically setting gitlab's SSH public key, but it's not called as part of a deployment.

Co-authored-by: Jonathan Maw jonathan.maw@codethink.co.uk

Fixes Infrastructure/Mirrors/mirroring-config#9 (closed)