Revert "Delete gitmodules"

This reverts commit 1683c9d1c6919c379f0cebac7e3bf99e407509da.