BibDesk の設定を書き換えるためのスクリプトを追加