Fix bugs converting conditional transitions to jani

[MarcoLm993]

As title says, this PR fixes a problem when converting conditional SCXML transitions to Jani.
Additionally, a test for ensuring a correct translation of implication properties has been added (the bug itself seems to be already solved)
This addresses #37

[MarcoLm993]

Hello, I am writing this mostly for @SofiaFaraci and @m-morelli information.
This PR should solve some of the issues we noticed in Genova.
Since we switched from a multi-package to a mono-package setup, you need to remove the old packages and install the new one (conveniently called as2fm, thanks Christian for doing that 😄 ), you can find the instructions here: https://github.com/convince-project/AS2FM/pull/60/files#diff-e285c1b9901cd202e89d9f37e3249a6fee524a65428895e1a45fd062cc0f9aca

Additionally, I quickly updated the documentation with the new executable names and the new links.