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
Added move to pattern manager proposal
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
Saving/loading user defined patterns to file
Added modelcheck-view draft
Moved files
Changed editor styles
Refactored LtlEditor.js;
Added Util.js