more gdb type printing stuff
Merge remote-tracking branch 'remotes/fbour/gdb-7.6-ocaml'
get symbol and source path info from types, not symbol argument
get symbol and source path info from types, not symbol argument