Closes #4166

See https://discuss.codemirror.net/t/addoverlay-removeoverlay-and-opaque/835

Closes #4122

"commend addon" should be "comment addon".

Issue #3974

Even if we don't use promise internally, check for the existence of
`.then` attributes on the return results of a hinting function, and if
so assume it is a promise.

Internally also convert all hinters to use the asynchronous interface
for consistency and simplification of code paths.

Closes #3971

Closes #3972

5.13.4 was a trivial release restoring a LICENSE file.