labs/provisioning: switch to gcloud ssh

that should be :4001 not :8080