LTL checking view added + Formula texteditor with simple syntax highlighting added
Added syntax highlighting for reserved word (true, false, sink, deadlock, current", e) and for boolean operators (=>, &, or, not)