Goal window scrolls down on large goals

[Alizter]

When viewing a large goal that bring up the scroll bar, every time the goal window is updated, the scrolling starts from the bottom. This makes viewing the current goal quite difficult as you have to scroll up each time or minimise the subgoals (which can expand as the proof progresses).

I think that having the scroll start from the top by default is a more sane behaviour.