- changed NameService to FoamNamingExtension which can be used as an Xtend extension
- split Lts2NusmvLangService into two parts -- an OSGi service and a statefull transformation class
recovered a deleted CLI tool
reimplemented the Lts2NusmvLangService.partitionTransitions() method into functional style
Merge branch 'master' of https://github.com/d3sreq/foam-tool

Conflicts:
	org.foam.transform/src/java/org/foam/transform/utils/nusmv/NusmvWrapper.xtend