LAVA Multiple Files and Inject Fixes

[AndrewQuijano]

Your checklist for this pull request

• I've documented or updated the documentation of every function and struct this PR changes.
• I've added tests that prove my fix is effective or that my feature works (if possible)

Detailed description

This PR has the following tasks completed:

1. Complete deploying the wheel file to PyPi
2. Upgrade LAVA so it can pass a folder of inputs to run inside PANDA. This would ensure that if new inputs are generated, no structural changes are needed to LAVA. This should only be merged once this PANDA PR is merged.
3. Fixed the Debian package; it actually missed some headers and didn't install correctly. This is fixed. Also added in CI to test if the package installs
4. For btrace, replace the script with just using environment variables. Also, since ldconfig is used, we don't need to find the shared object. This avoids the mess of the whole if the shared library is in a path with space, hence that hack in the script.

• Also, btrace now uses cJSON to create the JSON for compiling commands.

...

Test plan

Confirm that CI/CD passes for toy. Also, verify that file_taint via logs is correctly tainting multiple files.
...

Closing issues

...