manifest: update github repo names

Also track our own build repo