Cleaning up the literate programming bits

Initially, libpijul was written along with proofs of correctness for the algorithms. Unfortunately, that turned debugging into a nightmare, since as files grew, it became very tedious to match line numbers from the backtrace with line numbers in the literate source.

Created by  pmeunier  on December 15, 2020
IYJZVLETBAQDDELENH3FX7ZTOC3HY4UJ3AMC3MACW6O7ZCWZTR6AC
Change contents