Add support for MInt (machine integers) in k5

[sdasgup3]

• The ocaml backend of RuntimeVerification k (RV K) does not support MInt module. All the corresponding java hooks need to e ported in ocaml. This work help porting x-86-semantics project in RV K.