Re-add .gitmodules. See #1.