Changes between #8 and #9

#9 (Dec 21, 2022, 4:24:16 AM)

1. Use EST fei generation. — Alberto Debiasi / detail
2. Update manifest.mf. — Alberto Debiasi / detail
3. Remove unused dep. — Alberto Debiasi / detail
4. Remove unused code. — Alberto Debiasi / detail
5. Remove nebula and sirius refs. — Alberto Debiasi / detail
6. Handle context in nuxmv/xsap operations. — Alberto Debiasi / detail
7. Fix FMEAXSapHandler call. — Alberto Debiasi / detail