update org.eventb.ui dependencies