Add some details into README.

Requirements

- Python 3.12. The tool may work for older versions, but we have not tested those. Python 3.13 is not supported by Gurobi.

- License for Gurobi optimizer

- Gurobi optimizer. For solving larger input instances, a licence for Gurobi is required.

If you have Python 3.12., you can install all other dependencies by running `make init` (preferably within a `virtualenv`).

```

python src/multiagent_steady_state_synthesis/main.py examples/graphs/1-1-1.json examples/objectives/test1.json

```

You can show extra options of the tool by running `python src/multiagent_steady_state_synthesis/main.py --help`. Most interestingly, you can switch the algorithm between `copy` (baseline in the paper) and `greedy` (incremental addition of agents; default) using the `--algorithm` option. For example

```

python src/multiagent_steady_state_synthesis/main.py examples/graphs/1-1-1.json examples/objectives/test1.json --algorithm copy

python src/multiagent_steady_state_synthesis/main.py examples/graphs/1-1-1.json examples/objectives/test1.json --algorithm greedy

```