Fixes #1433 although in a slightly different way than requested: We ensure that scrolloff *displayed* lines are visible below the cursor, not scrolloff *buffer* lines.
