microsoft / monaco-editor JavaScript 47K 4.2K A browser based code editor monaco-editor vscode editor browser