Support xSAP FDI analysis

The Fault Detection and Isolation (FDI) analysis is available in the xSAP tool, but not supported by EATA (and EST).
It should be possible to invoke the following functionalities:

• check_diagnosability
• minimize_observables
• synthesize_fd

For the moment, output of the commands will be textual and visualized in the regular editors. A graphical representation of the results will be added in a second step.