gitmodules: use https and m-labs