Also fixed bug with cancelling requests

dotview options window is now dynamically sized and stays open when dotview is hidden and shown again

Cosmetic changes to sidebar. Added revert buttons to sidebar. Support for tools that don't output analysis results.

- fixed order of navigation buttons
- if a dotview is open already for the same file, switch to it instead of opening a new view

- reset position button (still needs icon)
- view dot in the same window
- when dot is updated, it retains the position/zoom level