Implement `--max_arity` option for inclusion dependency algorithms

[alexandrsmirn]

In the case of functional dependencies in Desbordante, it is possible to explicitly set a limit on the number of attributes on the left side of the dependency (--max_lhs). Hovewer, in inclusion dependencies, the left and the right side must be of the same arity, therefore --max_lhs will not be fully correct. Here may be suitable a new option like --max_arity. It will tell something like "find INDs with arity not greater than n". In fact, --find_nary=false for Faida represents --max_arity=1 now.