added mysql_dump_debug_info() example