Increase diagnostic editor's vertical scroll margin

This way, the first path header will always be fully visible when
you move your cursor to the beginning of the multibuffer.