Libvmi integration

[Wenzel]

This issue tracks the integration status of libmicrovmi with LibVMI

➡️ A fork of libvmi is available with a basic integration of libmicrovmi:
https://github.com/Wenzel/libvmi on the libmicrovmi branch

A pull request has been opened (only on the forked repo) to track the changes:
Wenzel/libvmi#1

A github actions has been configured to test the build:
https://github.com/Wenzel/libvmi/runs/1527128223?check_suite_focus=true

[Wenzel]

libmicrovmi's installation has been simplified with a Debian package:
#143

However, the generated libmicrovmi.h header is not included yet.
This issue will track the progress:
#177

Edit: the libmicrovmi.so library is not even included in the Debian package as I first thought

[Wenzel]

I updated the build workflow to download libmicrovmi debian package and install it, instead of cloning libmicrovmi and compiling it.
It works 🙂 !

Next step: implement driver_init_mode, and able to return the concrete driver type after microvmi_init()