Event-B Language Support

Event-B compiler, autocompletion, syntax highlighting, and snippets