Include tool AEON.py

[daemontus]

Adds support for AEON.py (https://github.com/sybila/biodivine-aeon-py/). AEON provides several symbolic algorithms for analysis of asynchronous BNs, including attractor detection and reachability. Furthermore, BNs in AEON can contain uninterpreted functions, allowing analysis that incorporates partially unknown network dynamics.

Furthermore, I've added a dependency on python-graphviz to the docker file (python bindings for graphviz, which is already included). This makes it possible to convert .dot files to images directly in the notebooks. We don't depend on it directly, but we can output .dot in several places (we'll probably add more support for it later down the line), so having it included is quite useful.

The image can be tested using

colomoto-docker -V pr<PULL REQUEST ID>

(I am running the validation locally right now, but everything seems to be working when tested in custom extension of the colomoto image).

Checklist

• The conda package is added in one of the 3 install section of Dockerfile
• There is at least one tutorial notebook in tutorials/<tool> folder
• Tutorial notebooks are referenced in validate.sh
• Tool is referenced in the hooks/release_changes.json
• Tool is referenced in the README.md file

[pauleve]

The check fails because the upload to docker is denied from external pull request (#102)
I verified locally, everything runs smoothly.