Skip that is safe when not enough lines

A version of Seq.skip which doesn't throw an exception if there are fewer lines in the sequence than you have asked to skip.