Add vague_dt to humanly format time intervals
Fix some progress bar glitches, #2