Change git repo checkout to https

Super nit. https seems to be more accessible, as ssh requires user have their pubkeys set up in github settings.