Auto-remove

- Added an auto-remove function that does the opposite of auto-complete,
i.e. removes related literals (such as ']' or '}') when the user presses
backspace.
- Disabled browser spellcheck for the editor.
- Fixed issue #5.