Python program to read a text file, and write the longest x lines to a different file.