Update .gitmodules

Better to use https in case of firewall blocking git ports