ADC driver for cc2538

This is an ADC driver for the cc2538 target.  It is structured such that it should be extensible to other platforms and it works with a simple set up and forget interface.