To prevent infinite loops when the algorithm somehow doesn't converge

(It should converge, but infinite loops with nebulous termination
conditions are a rather bad source of hangs.)

I'm still torn about this, since it'll mask bugs.

Issue #2819

Issue #2819

Closes #2851

Fixed indentation for covergroups
Fixed indentation for import/export statements
Better handling of 'function' keyword in other contexts

- Takes `defaultTables` as optional option and hint columns from that
table without explicitly mentioning table name.
- Update doc/manual.html for sql-hint addon.

Signed-off-by: Nisarg Jhaveri <nisarg.jhaveri@research.iiit.ac.in>

Signed-off-by: Nisarg Jhaveri <nisarg.jhaveri@research.iiit.ac.in>

Issue #2836

When the buffer has only one line, pressing 'dd' causes
CodeMirror to throw an error "There is no line -1".

Closes #2817

(So that it plays nice with loadmode)

Also update the mode loading demo to make use of the info in that
file, allowing filenames and mimes to be entered.

Issue #2828

Added file extensions to the meta info. Added helper functions
getExtFromMimeType,  getMimeTypeFromExt, getFilenameAndExt from a file
name, and detectCodeMirrorMode from a mime type

Move keybuffer clearing code out of the matching code

Since the mouseover will necessarily happen at the very edge of the node, and thus
give ambiguous coordinates.

Closes #2821

Closes #2822

Issue #2819

Issue #2807
Issue #2814

This might break sites that depend on async linters getting an editor instance
as first arg, or sync linters getting the .options property of the options passed
as second argument. The args passed are now more or less consistent.

Ugh.