Missing proper documentation for gdbbridge -> get_casted_pointer

[tonitch]

OpenImageDebugger/resources/oidscripts/debuggers/gdbbridge.py

Lines 102 to 105 in 4be3c74

	def get_casted_pointer(self, typename, gdb_object):
	typename_obj = gdb.lookup_type(typename)
	typename_pointer_obj = typename_obj.pointer()
	return gdb_object.cast(typename_pointer_obj)

This function seems to be quite important for managing gdb type inspectors, but I had a hard time understanding what it did exactly (and I don't think I understand it quite yet). IMO it would deserve a bit more highlight and documentation ^^

(This is not fact, only opinion though haha)