fast python lib to merge big file use key value