[python] Cheap way to search a large text file for a string