scripts/qemu-gdb/timers.py: new helper to dump timer state