例えば Python からテキストファイルの編集を行いたいが，保存時1行ずつ一時ファイルに書き込む以外にうまい方法はあるか
文字列`str`内の対象文字列`old_s`を別の文字列`new_s`に置換する