I first read about this back in '09, and it looks like they're making progress towards commercializing it.
http://www.potterdrilling.com/
I don't see a reason why the technology wouldn't work in space as well. Which means that it could be used to bore into asteroids to create colonies and for mining.