Small script to sort all-titles.dat into title order