Renewal KeTTeX.app

[munepi]

• [ ] 新しいCinderella 3 https://beta.cinderella.de/ に対応
  • Cinderella2.app → Cinderella.app に変わった
  • Cinderella バイナリが無くなった
• [x] ひとまず、KeTTeX のTeX Live環境だけが有効になったTerminal を立ち上げるだけに変更
  • starter script: Cinderella バイナリを実行せずに、Terminal の設定のみに変更