py/gc: Make gc_dump_info/gc_dump_alloc_table take a printer as argument.

So that callers can redirect the output if needed.

Signed-off-by: Damien George <damien@micropython.org>

ports/nrf/modules/machine/modmachine.c

@@ -133,7 +133,7 @@ STATIC mp_obj_t machine_info(mp_uint_t n_args, const mp_obj_t *args) {
 
     if (n_args == 1) {
         // arg given means dump gc allocation table
-        gc_dump_alloc_table();
+        gc_dump_alloc_table(&mp_plat_print);
     }
 
     return mp_const_none;