Code editor extension for Visual Studio Code

An extension that enables editing of code in a text area using Visual Studio Code.

For development instructions, see README_DEVELOPMENT.md.