Update summary file for qcqs-schemes paper

[mzeuner]

This PR adds link to the preprint and a pointer to a lemma mentioned in the paper but not yet formalized.