Added ltl editor view
Added textmarks for warnings and errors
Updated to CodeMirror version 3.15
Added ltl operator + operands highlighting
Syntax highlighting extended
Added basic autocomplete
Generate completion list with keywords and pattern names;
Checks starting characters
Changed hint display or code completion
Added close brackets and match brackets
PROBCORE-404 implemented an Event-B translator to translate from Rodin .bum and .buc to the AbstractModel implementation in ProB 2.0
PROBCORE-404 Theorems are now saved as well.
Added move to pattern manager proposal
PROBCORE-404 Implemented basic translator for Theories (but not sufficiently tested yet)
Merge branch 'develop' into feature/eventBtranslating
Merge remote-tracking branch 'origin/develop' into feature/eventBtranslating
Added pattern manager draft
Included LtlEditor to pattern manager
Added views for create/edit, show single and show multiple patterns
Added create, update, remove functionality
added input checks