C++ lifetime inference and verification through static analysis

This package contains a prototype for a static analysis tool that infers and verifies lifetime annotations for C++ code. For more background, see /docs/design/lifetimes_static_analysis.md.