CONTRACTS: add function-contract mapping to the CLI

[remi-delmas-3000]

Enables checking or replacing a contract against a function of a different name as long as signatures are compatible, using :

--enforce-contract <function>/<contract>
--enforce-contract-rec <function>/<contract>
--replace-call-with-contract <function>/<contract>

• Each commit message has a non-empty body, explaining why the change was made.
• Methods or procedures I have added are documented, following the guidelines provided in CODING_STANDARD.md.
• The feature or user visible behaviour I have added or modified has been documented in the User Guide in doc/cprover-manual/
• Regression or unit tests are included, or existing tests cover the modified code (in this case I have detailed which ones those are in the commit message).
• My commit message includes data points confirming performance improvements (if claimed).
• My PR is restricted to a single feature or bugfix.
• White-space or formatting changes outside the feature-related changed lines are in commits of their own.

[feliperodri]

Modulo Michael's comments.

[codecov]

Codecov Report

Base: 78.42% // Head: 78.46% // Increases project coverage by +0.04% 🎉

Coverage data is based on head (7d0ebd5) compared to base (52bb522).
Patch coverage: 95.38% of modified lines in pull request are covered.

Additional details and impacted files

@@             Coverage Diff             @@
##           develop    #7445      +/-   ##
===========================================
+ Coverage    78.42%   78.46%   +0.04%     
===========================================
  Files         1660     1662       +2     
  Lines       190371   190941     +570     
===========================================
+ Hits        149304   149831     +527     
- Misses       41067    41110      +43     

Impacted Files	Coverage Δ
src/ansi-c/ansi_c_declaration.h	95.00% <ø> (ø)
src/ansi-c/c_typecast.h	75.00% <ø> (ø)
src/goto-instrument/contracts/contracts.h	100.00% <ø> (ø)
...t/contracts/dynamic-frames/dfcc_contract_handler.h	0.00% <ø> (ø)
src/jsil/jsil_convert.cpp	0.00% <0.00%> (ø)
src/jsil/jsil_parse_tree.cpp	0.00% <0.00%> (ø)
src/jsil/jsil_parse_tree.h	4.54% <ø> (ø)
src/libcprover-cpp/api.h	100.00% <ø> (ø)
src/util/symbol.h	100.00% <ø> (ø)
src/ansi-c/c_typecast.cpp	81.77% <94.11%> (-0.10%)	⬇️
... and 36 more

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.