Support linux-aarch64

- [x] https://github.com/AeneasVerif/aeneas/pull/915 - [x] Add support in `cargo hermes setup`