My product only offer a debug interface(SWDIO/REST,SWDCLK,+3.3v,GND),but I learn that the nRF51 DK debug out interface has several pins,such as EXT VTG,EXT GND DETECT,EXT SWDIO,EXT SWDCLK,EXT SWO,EXT RESET。So,how to connect them to my board ? and shell we short any pins or testpoints on the nRF51 DK?