サーバー名の設定。標準ではコンピュータ名が付けられるが、別の名前にしたい場合はここで設定しておく必要がある