Bunch of dualex fixes
Removed logical operators deprecated in OCaml
Merge remote-tracking branch 'jamuna/obliv-c' into obliv-c