Python software that can change .txt files