doc: https:// URLs instead of git://