add get_maximal_rows script with a simple (discrete) maximal vector/pareto front algorithm (currently unused, was used as a redundancy preprocessor at some point)