updated readme
updated README
Update README
precompiled version + cabin scenario link
Merge branch 'dev-unstable'

* tuned access control abstraction after FORTE
  and ESSS papers
* added stub for interface abstraction
Merge branch 'dev-unstable'