Adding convince toolchain to docker and a small example to technologies.

[ct2034]

Could you please test if this works on your side, too? Thanks :)

It needed a little hack because one of our dependencies is not happy with python 3.12 (convince-project/AS2FM#7). But before the workshop, we will probably replace it anyway.

[sea-bass]

The example worked fine for me, just some minor tweaks to the README that are all optional.

Also, when running the scxml_to_jani main.xml I get some deprecation commands:

Warning: SCXML topic publisher: the 'topic' argument is deprecated. Use 'name' instead.

Is this something we can change to remove the warnings?

---

Requesting changes for 2 reasons:

1. Because there are a few submodules that are being accidentally updated -- you can simply resolve this by going into the respective folders and doing a git checkout <commit_sha> with whatever the latest on main are.
2. There is probably no need for us to install both wget and curl since they do the same thing

[sea-bass]

Oh one more thing, I somehow got myself into a rosdep issue because the CONVINCE bt_tools depends on behaviortree_cpp_v3 which is not officially listed as a Jazzy package: https://index.ros.org/search/?term=behaviortree_cpp_V3

Not sure how it built in the first place (I might have done something bad with the Docker cache), but I would still suggest replacing that dependency with the latest version, behaviortree_cpp, if possible.

Submodules still not resolved