Upgrade to new codemirror folding extension

This should address issues #17, #24, #26, #27