Revert "Remove gitmodules."

This reverts commit 07ea2eb4cd56455cec055881e38922c9de12cd49.