FTA probability labels

This release allows to adapt the labels of an FTA event to show the event probability in different units (see snapshot below). Additionally also the parameters for the different distribution functions can be made visible on the FTA diagrams.