start of libvenus, copying and improving from old gdb/ocaml_support