Fix annoying build-output scrolling

When adding new text to the build output, do not always forcefully scroll to the end. Save the scroll position (+ selection) and restore it after inserting the text.