Entrepreneur John Carmack's Armadillo Aerospace Has been working with NASA, Google Lunar X-Prize and the Rocket Racing League to dramatically lower the cost of space transport. Here's what they've been up to.