Initial medusa support for the CI

[ggrieco-tob]

This PR contains the initial integration on the use of medusa for crytic/properties. This includes the execution of ERC20 and ERC4626 tests. A few points should be addressed in future PRs:

• Medusa config files should be placed in the root directory, to avoid hitting this issue.
• There is no mention in the README about medusa: explaining how to use medusa requires to show/explain how the config options are used, however, this will force us to include the full json with all the default values (or medusa will crash). I reported this issue here.
• The ERC4626 foundry tests require to disable stopOnFailedContractMatching but it is unclear why or how the user should be notified about it. This issue was reported here.