Add lemma `lookup_snoc_Some`.

Merged Robbert Krebbers requested to merge robbert/lookup_snoc_Some into master

Merge request reports