Update min-caml and add new test (adder.ml)

[Note: adder.ml seems to compile correctly, but simulator cannot execute it.]