Use https instead of git protocol

For the gitmodules it shouldn't matter since we pin to a SHA (ignoring
the unlikely possibility of someone managing a SHA1 collision while
MITMing us), but it's important for the utils repo which we keep updated
with master on GitHub.

Changing all of them for consistency.