Resizing Vertical Pools and Lanes

[sombrek]

Is your feature request related to a problem? Please describe.

Resizing vertical pools and lanes should be supported. Currently, there are several problems when trying to resize:

• lanes may "jump" as they use the minimum dimensions of horizontal pools
• resizing a pool "from the head" causes lanes to overlap the pool label
• resizing lanes horizontally incorrectly adjust widths of neighboring lanes
• the space tool doesn't allow vertical black-box pools to be resized vertically

Resize Issue Demonstration

Describe the solution you'd like

• resizing of the pools and lanes works as expected
  • minimum dimensions are set appropriately
  • space tool resizes vertical pools and lanes appropriately

Describe alternatives you've considered

Do not support resizing vertical pools and lanes.

Additional context

This is related to #507 and I would like to contribute the implementation.