4
You can always add CodeMirror as just another editor and publish here for people to download it and use.
Is there anything special needed in 2.5.0 to make it work?
As for the 2.5.0 Team doing it, I think, this wouldn't be high on their priority list, and there is not that much demand for it, or at least I didn't see it so far.