TestCast MBT 3.7

New features:

• Support for Eclipse Oxygen
• Support for alternative test generator based on NuSMV (experimental)

Improvements and bug fixes:

• Several fixes in external resources import
• Improved co-operation with TestCast T3