bash: update-ssh-known-hosts now uses tin.eqiad.wmnet

fenari being phased out :-)