Issue #3346

Closes #3340

Closes #3339

And add a styleDefs option to turn it off.

Issue #3332

Issue #3332

So that they don't end up overriding more specific styles.

Issue #3325

Issue #3325

Closes #3322

Issue #3321

Issue #3316

This PR initialize docs before creating tern server instance, because
in some case, tern server creation call getFile which use docs.

I have this case by using requirejs tern plugin + custom plugin which
defines modules :

```json
{
    "!name": "delite",
    "!define": {
      "!requirejs": {
        "delite/register": {
          "!type": "fn(tag: string, superclasses: [], props: ?) -> fn()",
      }
    }
  }
```

Issue #3320

Get rid of webkit paste bug workaround again, since recent
webkits all support the clipboard API.

Issue #3031

Issue #3308

Closes #3307

- Use 'unshift' instead of 'push' to ensure newly mapped commands come first (and hence take precedence over previously mapped commands)

Original code by Evan Czaplicki

Issue #3234

Closes #3295

Since May 5th. `async` and `await` are Python3 keywords.
cf https://www.python.org/dev/peps/pep-0492/

The new version of Python is still in beta, but start to get some use.
And getting the correct highlighting out will help people not use
`async` and `await` as variable name.

Matches color for `cm-link` style