changing path to https for teoria submodule