add Timer plugin

FYI, I tried to put the printing into print result, but that interacts poorly with Colors.