I'm looking for the pinout description for the GertBot. Some of the pins are discribed in the manual but I can't find some like the "Halt" pin, ADC and DAC pinning.