Libvmi integration

[Wenzel]

This issue tracks the integration status of libmicrovmi with LibVMI

:arrow_right: 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: https://github.com/Wenzel/libvmi/pull/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: https://github.com/Wenzel/libmicrovmi/issues/143

However, the generated libmicrovmi.h header is not included yet. This issue will track the progress: https://github.com/Wenzel/libmicrovmi/issues/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 :slightly_smiling_face: !

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