Parse Aeneas's comments to match Aeneas Lean items to source Rust items

[joshlf]

This will allow us to rewrite Aeneas's generated Lean items to insert our own fields, arguments, etc, without first-class support from Aeneas itself.