[casper] New ADC board

[rick raffanti]

I'm working on a 6-channel, 1GSPS, 12-bit board, based on TI's ADS5400, 
takes up the two ZDOKs, in case anybody is interested.  Will be pricey, 
as the chips are ~$1k each

Rick Raffanti