Drop .gitmodules, no longer needed