Use https:// instead of git://

Most firewalls block the ports used by git:// remotes. Switching the webidl remote to https:// to make this easier to use.