Compile and make runnable VATA library

[tfiedor]

Currently, there are some source files of VATA library in the virtual machine. It needs to be brought up to date.

This should comprise of:

• Try compiling it. Create build.sh script that will build the VATA and copy the runnable binaries to $HOME/bin
• Either create new binaries for each problem we are benchmarking or remake the parser of .emp programs to support n-ary intersection (needed by bool_comb/intersect benchmark) and taking the .emp program as first argument.
• Check compatibility with .mata format. Then either create parser or convert .mata to supported format.

[jurajsic]

For CADE this repo (and branch) was used. By running cmake (create build directory, run that cmake command that I can never remember in it), VATA should be built too.
Potential problems:

• expects one .emp file which assumes that the automata are in gen_aut/ or something similar
• needs to have mata installed (it is used for mintermization), it probably needs to be updated to current mata

[tfiedor]

Moved repo to https://github.com/VeriFIT/mata-comparison-vata/tree/tacas24