added new patch files for eventb.ui, and update site for composition decomposition deployment testing.