add a owi llvm or owi bc command

[FUJIZZ]

What does this PR do ?

Add a command to compile .ll and .bc files.
Add llvm command cramtests.
Add llvm command docs.

Not a native symbolic execution for LLVM -> convert files into wasm and then use Owi Symbolic Execution.
Here is the pipeline to compile the LLVM file (in the order).

• llvm-as : .ll file -> .bc file
• llc : bitcode compilation -> .o wasm files
• wasm-ld : link .o files to produce final wasm file
• Owi symex executed on the wasm file

Why this change needed ?

Add a new command to facilitate .bc and .ll files.

How to test ?

The following cramtest are provided to validate the feature :

./test/cram/llvm/empty.t
./test/cram/llvm/not_exists.t
./test/cram/llvm/simple.t
./test/cram/llvm/trap_div_zero.t
./test/cram/llvm/unsupported_ext.t

To test :

dune runtest {test}

Issue

N-B: This contribution is part of work carried out as a student at Université Paris-Cité.
Apologies if this is inappropriate or if the contribution does not meet the project's standards, any feedback is welcome.

[Copilot]

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.

[FUJIZZ]

I will reopen a PR without the automatic AI review, sorry for the inconvenience !
Didn't know that It was activated.