Modified submodules

Used https:// instead of the git protocol so that the submodules are included
in the page generation... Hopefully.