gradle-ify org.eventb.texttools