Generate crate interfaces and enable to import them

This adds several new features:

• we can register shims for ADTs in shim files
• RefinedRust generates a interface.rrlib file for each verified crate that specifies the public interface of this crate and the specifications it provides
• We can load these libraries with the new rr::include crate/mod-level attribute
• The frontend will search in a user-configured search path for the libraries imported via rr::include and make their specifications available to the verifier. The search path is configured via the lib_load_paths config option.

added 1 commit

• bff242cb - add vec interface

Compare with previous version

enabled an automatic merge when the pipeline for bff242cb succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• 98fa286b - better frontend error handling + fix config

Compare with previous version

mentioned in commit f7ca2c91

merged