Hervé Girod - 2020-03-03

Add a handleChangeWidth method in the GutterHandler interface to be notified when the gutter width has changed
Fix the setGutterWidth method not changing the collapsed state of the Gutter