add library Dig4seg7, improve time_pusher