default.xml: change github protocol from git to https.

Signed-off-by: Haifeng Yan <yanhaifeng@gmail.com>