OCaml backend: some more support, in particular UnionFind (now map int32 to int)
Merge branch 'master' of github.com:FStarLang/FStar