nRF52840DK Board Definition for the Tock HOTP Tutorial

This is the board definition for the nRF52840DK target used in the HOTP tutorial.

Please follow the instructions in that tutorial. You may also want to look at the documentation of the base nRF52840DK board definition here.