fosdem2024_bigint: add files for building the pdf