Remove x number of lines from beginning of file

[Levi Pearson]

"Jon Gale" <donjuanica at gmail.com> writes:
>
> real    1m13.596s
> user    0m18.020s
> sys     0m52.930s
>

As far as I know, you can't delete the beginning of a file without
moving the rest of it back up to where the file is supposed to begin.
>From your 'time' output, it seems that the vast majority of the time
is spent in the kernel, probably doing exactly that bit of data
shuffling and disk IO.

                --Levi