Revert "Delete .gitmodules"

This reverts commit 515245e4143cdb981e94f7c2ac8a6554757be0cf.