Compile and make runnable brics library

[tfiedor]

Currently, there are some source files of brics 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. (this might be problematic, as it requires specific .rangenfa format.

[jurajsic]

For CADE this repo was used. It contains some capnproto shit for the format it can parse (.range16nfa), this should be removed and it should read .mata format where symbols are given as intervals.

[tfiedor]

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