KProv reproducibility package (code, request sets, run records and the scripts that regenerate every number)

Code, request sets, stored run records, the gate's specification and its two implementations, and the scripts that regenerate every number of the article from the stored records and draw its figures. It holds the benchmark (bench/: the sixteen tasks that need no instrument, its scorer, tracks, baselines and selftest; also archived on its own, doi:10.5281/zenodo.23637413). File and folder names carry the project's working name (vibesc); the article calls the principle KProv, the method DeGA and the benchmark KProv-Bench. Version 6 brings the list of cited keys and the figure scripts to the revision submitted to Advanced Engineering Informatics (two more cited keys, each already computed; no result changed); like versions 2 to 5 it carries the article's numbers (numbers.json, numbers.tex) and the list of keys the article cites (cited.json), not the article's text.