Sidebar resizer

Fixes #2072 and https://bugzilla.mozilla.org/show_bug.cgi?id=841897, supersedes #3472.

- [ ] Sidebar and main toolbar do not behave well yet on small widths or when the width becomes smaller. Should be fixed once #4052 is implemented.