Add scrollview to todo page for better desktop scrolling

Claudio Cambrarequested to merge
work/clau/todo_scroll into master

This MR adds a scrollview enveloping the todo page's main TodoTreeView, improving scrolling with a mouse.

Merge request reports