Add safety (gsn, req, spin) to FASTEn distribution

[norro]

Currently, build-fasten-distribution.xml only bundles nuSMV languages and devkit. This is misleading, so I suggest to

• rename current build-fasten-distribution.xml to build-nusmv-distribution.xml and
• add real FASTEN distribution build that encompasses nusmv, spin, req, safety, etc.

[norro]

@danielratiu does this make sense?

[danielratiu]

@norro in the fasten.safety project there is a build script which packages more things (including guns, spin, stpa)

we also distribute this via our RCP https://sites.google.com/site/fastenroot/home

would this suffice to your needs?

[danielratiu]

@norro is this issue still open? I think that it is resolved - what do you think? If yes, please close this

[norro]

Absolutely, this works lovely now. Thanks for the reminder, I am closing the issue.