More tests for promela datamodel
Started with JavaScript DM in Java (Rhino)
Merge pull request #26 from sradomski/master

Merge and started with Rhino Datamodel