Remove defunct .gitmodules.