Time trigger enhancement

A little neat enhancement arrived for the time trigger. Now you can choose a time trigger to fire a widget based on the duration of the whole session, whereas previously it was based on the time spent in a single pageview. By default this option will remain unchecked on all current widgets.