Experimental code for component persistence.

Added unfinished code for:

- Loading the FMU for FMUComponent from its path (unhandled exception
exists if path is an invalid .fmu file path)

- Saving the EventBComponent (copy of it), acting as port configuration
information, to the corresponding Event-B Machine via extension (not
covered the case if previously saved extension exists)