Add new sponsored reproducible worker (repro4)

The server only has a public IPv6 address and a DNATed (port forwarded) SSH port for accessing the server over IPv4. So this commit contains some changes for supporting that.

Co-authored-by: default avatarKristian Klausen kristian@klausen.dk