[python] Editing specific line in text file in Python