Add lemma `foldr_cons`.

Merged Robbert Krebbers requested to merge robbert/foldr_cons into master

Merge request reports