Use the owning annotation in PipelineC/Prototypes.h to automatically destroy resources when they go out of scope on the python side.
Add the revng.api module: a wrapper around the PipelineC API.