Make code folding optional

Some users might consider code folding a needless distraction.
Several editors offer the option to turn code folding off.

This commit adds the editor.fold option, which is a boolean.
true enables code folding (default)
false disables code folding
Disabled 'Fold' menu instead of removing when no folding is allowed (ref #169).