compositional testing works on integer10.js, but stalls on qsort.js
implemented a ROBDD library
BDD integrated with Multiple
big problem with reexecuting prefix.  Need to skip all operations.
return for multiple paths is fixed.  Still need to skip instructions in prefix.
now need to debug on compos2.
fixed a bug due to the introduction of $7.Ra in constructor calls.
some fixes to make esprima work with browser
added files for plugin demo
added files for plugin demo
all tests are passing
fixed a subtle bug associated with $7.Rt and $7.Ra.  The bug suppressed the introduction of $7.N for functions.
tweaks to scripts
coverignore
checked in Tizen apps
updated annex
some more scripts for tizen IDE
rrserver now kills both servers before starting
changed names of IDE scripts
added one more demo