jiri-test: add github mirroring for docs repo, and order repos alphabetically
jiri-test: add github mirroring for docs repo, and order repos alphabetically

Change-Id: If7cfa973762017c47b1be5069c537479c71484ff

vanadium/go.devtools,vanadium/go.devtools,vanadium/go.devtools