ArduinoにESP8266のボードマネージャを入れる

久しぶりにESP8266ボードの開発をしてみる（ソース修正の必要が出た）ので、改めて開発環境を構築してみた。環境は LinuxMint18.3 LTS 64bit。