Some cosmetic fixes.
Updated libopencm3.
Added basic dma driven adc driver, and test.