use xtext to optimise the tactic editor

[lyhlbyl]

xtext provide a feature to model a parser and generate the code automatically.