Merge branch 'release/1.0' into develop
Add torrent files with all proofs used in the experiments
Merge branch 'develop'

* develop:
  Add torrent files with all proofs used in the experiments