ワークスペース名の変更機能

ワークスペースの名前変更がより簡単になりました。専用のワークスペース設定ページが追加されました。