Area Tool: more logic

Paint options are propagated to the server, which doesn't do anything with them, yet
The erase tool works on the backend, but is buggy on the frontend
Changing view properties in the widget changes them in real time on the canvas. Doesn't propagate to the server, yet.