Change .gitmodules URLs to HTTPs. 

If we want this to be easy to set up (#27) for new developers, forcing
SSH to be properly configured first is probably not the best way to go
about that.