ページ名の変更

Ext/old/other/GDSIntegratorの名前を変更します。