Merge pull request #46 from Certora/oz/ci

Change ci triggers

Merge pull request #43 from Certora/remappings-again

bug fix in remappings

Merge pull request #41 from Certora/cnandi/evmversion

CERT-5925 support for evm-version

Merge pull request #33 from Certora/fix_readme

Fix readme

Merge pull request #35 from Certora/cnandi/bug-fix

fix bug in allow paths

Merge pull request #34 from Certora/oz/ubuntu20

CERT-3805 | Add support for ubuntu 20

Update README.md

Merge pull request #22 from Certora/ben/fix-cli-mutations-argument

Ben/fix cli mutations argument

Merge pull request #14 from Certora/ben/mutator-refactor

Mutator Refactor

remove the caching of asts for now, simpler is better