add update time to AtermHelper#Info.
cycle of updating info is controlled by update time.
remove an argument, context, from AtermHelper#Info.