Compile and make runnable MONA library

[tfiedor]

Currently, there are some source files of MONA 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 MONA 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 was used. There is problem with the format, it expects specific .mata format, where the alphabet formulas in transitions are given as conjunctions of literals. Also it probably expects final formula to be in negated form.

[tfiedor]

Moved to https://github.com/VeriFIT/mata-comparsion-mona