wow, that microphone array you linked costs USD$750! Are there any cheaper alternatives?
The high price is because it's a development board. (I think it's a silly to price development boards highly, but it is very common.)
EDIT: Still are, 5 bucks.
I'd love to get my hands on an open source array.