ボード情報のインストール
ESP32固有の情報をダウンロードしてarduino.exeに読み込ませます。
arduino.exeを起動して、ファイル→環境設定を出します。そして追加のボードマネージャのURL欄に
https://dl.espressif.com/dl/package_esp32_index.json
と入れてからOKボタンを押します。

「ツール」→「ボード」→「ボードマネージャ」にて検索ボックスに「esp」と入力hしてesp32を出します。

マウスオーバーすると「インストール」というボタンが出てきますので、インストールします。数百メガバイト落としてきますので、環境によっては結構時間がかかりますが気長に待ちます。

待ちます…

無事インストールが終わりました。

最後に、「ツール」メニューから「ボード」→「ESP32 Arduino」→「ESP32 Dev Module」を選択して終わりです。(他のESP32の場合は適したものを選択してください)
サーボライブラリのインストール
https://github.com/RoboticsBrno/ServoESP32
上記URLにアクセスし、ServoESP32-….をダウンロードしてきます。解凍したフォルダごと、「ドキュメント→Arduino→libraries」フォルダの下に移動します。プログラムの「Servo.h」はここから探してくれます。