やろうやろうと思っていたけど，できていなかったので，いよいよ自動化した． ここにおけるポイントは，ほぼMacOSをどうするかという話に集約すると思うんだけど，一応Windows/Linuxでもちょっと変更しなきゃいけないことはあったので，書いておく．