Skyline::insert(Box) creates a skyline and merges it. In this case,
the boxes are non-overlapping, so it is trivial to create a skyline
out of them.
Remove Skyline::insert(). Using it repeatedly leads to a quadratic
complexity, so it's best avoided.
Timing benchmarks are neutral
Diff:
Passes make, make check and a full make doc.
Patch on countdown for May 6th
Patch counted down - please push