JADE
Main updates/new features:
- Pytest is now automated through GitHub actions (CI)
- More robust installation procedure
- Update of documentation
- Corrected minor bugs in the "generate" and "printmat" utility
- Fixed bugs in the sphere leakage benchmark pp
- Fixed bugs in the Oktavian benchmark pp