Switch to a https checkout for the lib submodule