more type printing stuff
Merge remote-tracking branch 'fbour/gdb-7.6-ocaml'
awesome types stuff
remove debugging stuff
more value printing
WIP: demangle