chore: extract the Lean ref-graph building from the FFI code (#238)

This patch made the pipeline surprisingly faster.

In addition, it also builds the in-refs from the out-refs. This will
be needed for finding out ungrounded Lean constants.

Author: arthurpaulino