rm: delete .gitmodules entry of submodules removed from the work tree