k3-tools: Xtext testing helpers as an eclipse plugin