statistics

Display on the terminal statistics relating to stack usages, successful and
total unifications.
