Switched submodules to HTTPS github URLs

Makes it possible to automate a build without using a github account.