Fixed tok.py to include Arabic tokenization and the code that used to be in write_doc_to_file