find string from huge file with py's mmap