Integrate into SageMaths sbox class

Two points needed from my point of view:

1. Add ESPRESSO to sage (see https://groups.google.com/g/sage-devel/c/fECjDlKAroU/m/y89rkByzBAAJ).
2. Include this tool in the SageMath sbox class (will need to look at the code for more details how to best do this).