Generic concrete minkowski sum

[mforets]

By generics i mean function that dispatch on LazySets. We can check if the argument is 2D then use the concrete minkowski sum in v-representation. It is more efficient than using the higher-dimensional approach (see #1597).

[mforets]

There are different choices, this is one possibility:

• if the set is 2D
  • if the vertices_list is available => use _minkowski_sum_vrep
  • else if the constraints_list is available => use _minkowski_sum_hrep
  • else error
• else if the set is > 2D
  • if the constraints_list is available => use _minkowski_sum_hrep
  • else if the vertices_list is available => use _minkowski_sum_vrep
  • else error