gdb/
	* top.c (print_gdb_configuration): Print configure-time
	parameter on using libbabeltrace or not.