Fix .profile, use public submodules.

Fixed bug in .profile (the -> then). Added https variants of submodule
repository locations to allow anonymous pulls. Modifications can still be made
by manually typing password or adding a new SSH remote to the submodule.