Performing integration-by-parts reductions using NeatIBP 1.1 + Kira

In this new version, a Kira interface is included. It allows the user to reduce the integration-by-parts (IBP) identity systems generated by NeatIBP using Kira in a highly automated way.

This new version also implements the so-called spanning cuts method. It helps to reduce the total computational complexity of IBP reduction for certain hard problems. Another important feature of this new version is an algorithm to simplify the solution module of the syzygy equations hinted by the idea of maximal cuts.