change git@github url to HTTPS for public access

A quick fix to make the build instructions work for someone who is not a member of the Github project.