rm .gitmodules, no longer necessary