Added PATTERNS section to xtext
Added patterns to LTLSPEC in xtext
Implemented in xtend the LTLSPEC with patterns