Arduino IDEを使ってmicro:bitの開発を行う準備として、nRF5用ボードマネージャー（Nordic Semiconductor nRF5 Boards）を登録する手順を解説します。