Update docs to reflect https URLs for repos.