Puppet function to get users public keys from github