Replace SSH with HTTPS for github access

This is so the CI system doesn't require a github account to run.