Stop using named function expressions

IE<9 does some truly messed-up things when it sees these.

Another great JS feature banished for the foreseeable future by
the bunglers in Redmont, sigh.
Force gutter width recomputation when clearing the display caches
Allow using local minifier in bin/compress without dying from blob check
[foldcode addon] Fix off-by-one error when determining brace type in braceRangeFinder

Closes #1185
Fix bug in widget-redrawing-prevention hack

See 67a54297b7aa92072c2434554a0211070b514411

Closes #1184
Modified addWidget logic to modify the "near" vertical positioning to default to positioning the element below the position, and added "above" vertical positioning to default to sticking the widget above the pos instead
[addWidget] Restore 'over' vertical position, make the default placement below the char again

Issue #1189
[scrollTo] Use the curOp.updateScrollPos functionality

This removes some duplicate code, and delays the scrolling to the next display update
which makes it less likely to interfere with other actions in unexpected ways.
Add Code Snippets to real-world uses
[matchbrackets addon] Work around IE7 bug

Where it mysteriously makes the editor stop working (typed input no longer goes to
textarea) whenever highlighting fires.

Issue #1193
Work around IE7/8 magical DOM node replacement bug

Issue #1194
[doc tests] Fix test runner for IE regexp quirk

Issue #1194
Fix widget-reusing code

Issue #1187
Pass doc to lineIsHidden

There's no guarantee that we'll be able to get the document from the parent
link (might not be set).

Closes #1199
Make coordsChar take page coordinates again

It had accidentally started taking window coordinates in the 3.0 refactor.
[htmlmixed mode] Remove obsolete property
Only prevent re-focusing of textarea on mobile platform

Re-focusing is harmless on desktop browsers, and helps paper over
some browser bugs (such as firefox not 'really' focusing a textarea
in an iframe when the textarea is focused before the frame gains focus)
port htmlmixed code
[htmlmixed mode] Integrate support for different script types

Issue #1198
widgetsSeen is no longer an array