Compositional IFC for Reactive Programs

Prototype implementation of the semantics of the compositional model of IFC for reactive settings in OCaml

1. To run the prototype, run make in the src/ folder.
2. Any modifications to the type of composition or the structure of the DOM etc. can be made to src/starter.ml