Switched to https submodule to make gh-pages happy