Add support for long-running benchmarks

[shonfeder]

Towards apalache-mc/apalache#349

We want to run some benchmarks that will take upwards of 24 hours. We cannot do this on GitHub hosted runners, but it looks easy to connect self-hosted runners. For a start, we are considering digital ocean droplets, as per the walkthrough here: https://digitaloceancode.com/deploying-self-hosted-runners-for-github-actions/ and we might graduate to our hardware if it seems worth it.