make starpu-print-tasks output less verbose to make it usable

tools/gdbinit

@@ -1,7 +1,7 @@
 
 # StarPU --- Runtime system for heterogeneous multicore architectures.
 #
-# Copyright (C) 2010-2014  Université de Bordeaux
+# Copyright (C) 2010-2015  Université de Bordeaux
 # Copyright (C) 2010, 2011, 2012, 2013, 2014  Centre National de la Recherche Scientifique
 #
 # StarPU is free software; you can redistribute it and/or modify
@@ -210,13 +210,13 @@ define starpu-tasks
       set $m = 0
       while $m < config.workers[$n].ntasks
         set $t = config.workers[$n].current_tasks[(config.workers[$n].first_task + $m) % (sizeof(config.workers[$n].current_tasks)/sizeof(config.workers[$n].current_tasks[0]))]
-        starpu-print-task-and-successor $t
+        printf "  task %p\n", $t
         set $m = $m + 1
       end
     end
     set $task = config.workers[$n].current_task
     if ($task)
-      starpu-print-task-and-successor $task
+      printf "  task %p\n", $task
     end
     set $n = $n + 1
   end
@@ -611,6 +611,7 @@ starpu-tasks-on-workers prints a list of the tasks currently running on workers
 starpu-tasks-on-worker  prints a list of the tasks running on the given worker
 starpu-print-job        prints a StarPU job
 starpu-print-task       prints a StarPU task
+starpu-print-task-and-successor  prints a StarPU task and its successors
 starpu-print-data       prints a StarPU data handle
 starpu-print-datas      prints all StarPU data handles
 starpu-print-datas-summary  prints a summary of data handles