Added model and diagram validation
Utilised step period in Event-B component
Added display of comp diagram in Event-B explorer.
Added action to delete the component diagram from explorer
Modified icons and added display port automatic naming for plotting