Add support for quantified lifetimes (`for <'a>`)

[sonmarcho]

For now Charon does not support quantified lifetimes, as indicated by for <'a> ... in the where clauses.

[Nadrieril]

Duplicate of https://github.com/AeneasVerif/charon/issues/67