More Accessible Evaluation Repo

[vhavlena]

So far the content of this repository is tailored for the TACAS'24 virtual machine. Since it is already present on zenodo, it could be fine to get rid of this strong assumption in this repository and maintain it further as general evaluation repo for mata and other automata libraries. In particular I mean:

• create a list of dependencies for an installation of each library (so far there is just a single script installing everything from offline .deb packages.
• remove the .deb packages. This assumption for offline running is literally insane.
• remove from nfa-program-parser the vata submodule and include it in the tools directory (as the other tools).