The release task now generates runnable jars into "release/distribution" for each *.bndrun configuration found in the 'org.foam.cli" project
NusmvWrapper now logs an error message if the nusmv executable is not found on the system PATH
create two bndrun configurations:
full - contains everything including gogo shell and webconsole
minimal - contains only a minimal set of plugins. It can only work with the command line arguments when called from unix console (there is no gogo shell)
Merge remote-tracking branch 'origin/master'