Folding functions

[marijn]

@mercmobily

Did you know that https://replit.com/ uses CodeMirror now?

Yes! They did some blog posts about it.