ADC support for mk20dx256. Fixes #2