Adding ott files for formalization (inc. grammar).
Adding doc/readme.md
Merge branch 'heapless_classes_refactor' of github.com:UCSD-PL/nano-js into heapless_classes_refactor