Revert "remove gitmodules"

This reverts commit 598da7ffbe754a29042d3edf0aff1716345c9715.