Add torrent files with all proofs used in the experiments