Create GitHub Actions based on the usage examples in README.md

[zchn]

There are example commands for Solidity Control Flow Graph (CFG) Generation, Solidity Linter (WIP) and EVM CFG Generation in the ./README.md file. We should create GitHub Action workflows based on these examples:

1. Create a new yml file in ./github/workflows
2. Create 3 jobs in the new yml file, one for each example in the ./README.md file.
3. Create expected outputs of these examples, and mark the job as successful only if the actual output matches the expected outputs.
4. Create a new PR once done. Make sure all the GitHub Action workflows pass on the PR.

[snipr-ada]

test comment

[zchn]

OpenHands started fixing the issue! You can monitor the progress here.

[zchn]

A potential fix has been generated and a draft PR #10 has been created. Please review the changes.