No need for gitmodules

We're using a physical copy of codemirror2 -- the github publication
tools dislike external repos.