Merge branch 'hotfix/0.1.3'
Merge branch 'release/1.0'
Merge branch 'develop'

* develop:
  Add torrent files with all proofs used in the experiments
Merge remote-tracking branch 'upstream/master' into develop
Merge with Skeptik/develop and fix bug in RU