a. Removing contradictory axiom from partialmap.fst (found as part of my effort to realize it. b. test target was broken since bugs moved to a different directory, fixed. However, there are more failures than expected, in particular, for me, qs.fst fails to verify. c. I also got a parse error in boot target in ocaml-asttrans.fs, adding parenthesis made it go away.
Merge branch 'master' of https://github.com/FStarLang/FStar