debug_level 3 now prints seconds since start of openocd