Syntax highlighting fix for boolean symbols
Added parsing for error / warning messages (with ltlparser);
Output on console
Added rulers for annotations and linenumbers;
ErrorAnnotation