Specify a default server and repository.

As per [1], a default (even if unused) is needed to work-around a bug in
the useful 'repo info' command.

[1] https://code.google.com/p/git-repo/issues/detail?id=154

Signed-off-by: Ash Charles <ashcharles@gmail.com>