ESP32/arduino : arduino IDE の Update (再インストール)

目的:
arduino IDE を最新版に更新する手順を記録しておく。

手順:

1. ダウンロードと解凍等　(2020/04/23 修正)
   
   1. 旧バージョンと共存する場合
      (1) https://www.arduino.cc/en/Main/Software から、最新版の zip ファイル をダウンロードする。
      (2) ダウンロードした zip ファイルを解凍する。
      (3) 解凍したフォルダの直下に "portable" というフォルダを作る。
      　　( このフォルダの下に 設定ファイルが作られる )
      (4) 解凍したフォルダを任意の場所に移動又はコピーする。
      (4) C:\Users\<ユーザID>\AppData\Local　の Arduino15 を削除 (又は別名にリネーム)する。C:\Users\<ユーザID>\AppData\Roaming にもあれば、同様に削除
   2. 新バージョンのみで良い場合
      (1) https://www.arduino.cc/en/Main/Software から、最新版の Installer をダウンロードする。
      (2) ダウンロードしたファイルを実行する。
       
2. ボードマネージャの設定
   (1) https://github.com/espressif/arduino-esp32 から 以下の様にボードマネージャの URL を取得する。
     (a) 少し下にある「Installation Instructions」 の 「Using Arduino IDE Boards Manager (preferred) 」 下の "Instructions for Boards Manager" をクリックする。
     (b) Stable release link: の URL (下から2行目ぐらい?) をコピーする。
   (2) Arduino IDE を起動する。
   (3)「ファイル」-「環境設定」 を開く。
   (4)「追加のボードマネージャのURL:」の右側にあるアイコンをクリックし、コピーした URL を貼り付け、OK を押す。
   (5) 「ツール」 - 「ボード:"******"」-「ボードマネージャ」 をクリック。
   (6) ボードマネージャ の 検索ボックス に "ESP32" を入力。
   (7) 「Esp32 by Espressif Systems」 を クリックすると、右下に「インストール」のボタンが現れるので、クリックする。
   (8) インストールが始まるため、終わるまで待つ。
   (9) 終了したら、「閉じる」 を押す。
   (10) 「ツール」 - 「ボード:"******"」で対象ボードを選択する。 ("ESP32 Dev Module"で良い)
    
3. 複数バージョン存在する時の起動方法
   (1) バージョン毎にショートカットを作成し、デスクトップ等に置く。
   　　ショートカットから起動した後に スケッチを開く。
   (2) バージョン毎にショートカットを作成し、sendto に置く。
   　　( sendto :  ... AppData\Roaming\Microsoft\Windows\SendTo)
   　　スケッチを右クリックして 「送る」 からショートカットを選択。
   
   (2) の方が起動し易いと思う。
   
   sendto への置き方は、
   　スタートを右クリックし、
   　ファイル名を指定して実行で "shell:sendto" を指定する
   とフォルダが開くので、開いたフォルダにショートカットを置く。