Shorter progress bars

Dependencies

• [2] BNPSVXIC Friendlier progress bars

Change contents

• replacement in pijul/src/progress.rs at line 149
  [2.8816]→[2.8816:8911](∅→∅)
  − let k = (w as usize * *i) / (*n - 1);

  − for j in 0..w as usize {
  [2.8816]

  [2.8911]
  + let wb = (w as usize).min(50);

  + let k = (wb as usize * *i) / (*n - 1);

  + for j in 0..wb as usize {
• replacement in pijul/src/progress.rs at line 162
  [2.9240]→[2.9240:9280](∅→∅)
  − let mut nw = npost - 6;
  [2.9240]

  [2.9280]
  + let mut nw = w - wb + npost - 6;