Use https for public puppet repo remote

It's unnecessary to use the ssh user/key for the public repo. So,
let's use https instead.

Change-Id: I0516f6a2ec27e05ca82874b0bef6c7c70dfcfdd2
Merge "Use https for public puppet repo remote" into production