Finish off implementation of bare instantiation of type checker

- Factor out cmdline args into instantiation files using main_actions.mli
- Implement bare_desugar and bare_weaveAnnotations
- TODO: include with-smashing in bare implementation (or strobe so
  everyone gets it)
- add javascript2.env with TODOs for edits on RegExp