bump version of org.eventb.ui dependency