fix: respecting user lint options
fix: respecting user lint options

Since we moved to vendor version of CodeMirror and not the custom hacked version, it meant that the rules weren't being inhertited.

Fixes: #2837

dedalik/jsbin,roman01la/jsbin,jsbin/jsbin,jsbin/jsbin,peterblazejewicz/jsbin,peterblazejewicz/jsbin,kirjs/jsbin,dedalik/jsbin,roman01la/jsbin,kirjs/jsbin