AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff