Add unite-scriptnames
Coq 環境を作り直し