fixing broken build in tosmt/encode.fs ... oops
Merge branch 'master' of https://github.com/nikswamy/FStar
JS backend improvements
Fixed the bootstrapping of the JS backend + better handling of type constructors
essentially code-complete on tosmt, modulo top-level let recs
merging ...
nits to Makefile