Make all submodules use https urls.

This is the lowest common denominator access method because it
requires no ssh key and can go through firewalls.
Merge branch 'master' into https_submodules

Conflicts:
	.gitmodules