fix #111: make codemirror optional in builtins