added better progress bars, compatible eclipse and ASCII terminals (can
be switched to fancy UTF-8 chars when desired, or even self-redrawing
bar when out of eclipse)