Switched to GNU coding standards
Gdb bindings and printing of values from ocaml