Snapshot 2018-09-16

• support for "Component-based Design"
  -- create component interfaces,
  -- annotate pre/post-conditions,
  -- compose interfaces into assemblies,
  -- check their compatibility and consistency, and
  -- in case of analysis failure, simulate the counterexamples
• improved UI integration of general NuSMV analyses results
• different bug fixes