GUI: pick repo page. gets repo info from github's api

Also makes it such that repos don't store entire parent user structure -
just the name, which is enough for now, and it prevents an infinite
loop.