using the new Timer to time code in examples/sysinfo.py