Release v2.1.0

Added

• Sat deterministic truncated xor differential trail search.
• Fully automatic milp search of xor differential impossible trails at component level.
• Implement sat constraints for or operation.
• Add action to build claasp-lib image every time a new version is deployed to main.
• Create multi-stage build to generate docker image of claasp.
• Add sat deterministic truncated trail search.

Changed

• Qarmav2 creator optimized, permutations removed and complexity reduced.

Fixed

• Inversion for primitives using subkeys as inputs.
• Fixing networkx and numpy versions.
• Adapted tests.
• Move sat constraints for and in correct module.