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.