BLISS 1.11: Flint: Added select_points_to_remove to plot1d
This PR is the backport and improvement of !5568 (merged)
It adds a method select_points_to_remove
(plus some fixes) to the custom Plot1D.
As result one can use this API to request the user to remove some points in a curve (see the documentation).