Integrate Amarna (Cairo static-analyzer and linter) into our continuous integration process

[krebernisak]

https://github.com/crytic/amarna

[krebernisak]

While this was integrated in PR#158 we should also integrate it to the project itself, add as a dependency and make available as part of the make lint entry point.