python fastest way to search text file