Remove obsolete .gitmodules

This is no longer needed as subtrees are in use.