vscode: changed vscode_unicode_symbols_edits option default to true;

vscode: made uri equality check on actual strings, not on the functions;

vscode: switched document_decoration map to use strings as keys instead of Uris, because Uri equality check is inconsistent; disabled decoration requests as decoration caching is already done on client-side;