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'
added org.foam.orion.server.proof project
added .gitignore
moved org.foam.editor to org.foam.orion.client
added files into org.foam.orion.client
Added servlet error handling
setting Access-Control-Allow-Origin header and returning JSON response
xhr calls from javascript
skeleton of the orion servlet
added run-equinox.bndrun, changed servlet to search in projects
foam service running at port 8081 (orion application running at 8080)
test execution of the FoamServlet
helper files for editor parser
basic servlet + minimal bndrun configuration
added orion servlet dependencies
runnable basic bndrun configuration
bndrun configuration + servlet extending OrionServlet