Archive: / after prefixes and long names

Dependencies

• [2] BY5FVZAV Add a prefix in `pijul archive` in all cases
• [3] I3OVP3NH Archive: set the accurate and deterministic mtime
• [4] 76PCXGML Pushing to, and pulling from the local repository
• [5] VO5OQW4W Removing anyhow in libpijul
• [6] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

• edit in pijul/src/commands/archive.rs at line 48
  [3.192134]

  [3.192134]
  + }

  + if let Some(ref mut p) = self.prefix {

  + if !p.is_empty() && !p.ends_with("/") {

  + p.push('/');

  + }
• edit in pijul/src/commands/archive.rs at line 68
  [3.192546]→[2.0:172](∅→∅)
  − if let Some(ref mut p) = self.prefix {

  − if !p.is_empty() && !p.ends_with("/") {

  − p.push('/');

  − }

  − }
• edit in libpijul/src/output/archive.rs at line 70
  [3.691895]→[3.691895:691933](∅→∅)
  − header.set_path(&file.path)?;
• replacement in libpijul/src/output/archive.rs at line 74
  [3.692059]→[3.692059:692113](∅→∅)
  − self.archive.append(&header, &file.buf[..])?;
  [3.692059]

  [3.692113]
  + self.archive

  + .append_data(&mut header, &file.path, &file.buf[..])?;