fix bug of min cut set analysis;
add path set analysis;
calculate event probability automatically;
split SafetyEditor into SafetyEditor and CorrectnessEditor;
rename SafetyModelEditor to ModelEditor and it's as main part of
SafetyEditor and CorrectnessEditor;
add fields to describe FMEA;