San Francisco startup Petra says its new contactless thermal drilling robot can make steady progress through the hardest rock on Earth - stuff that would normally destroy drilling equipment - so quickly and cheaply that it could make a lot of underground infrastructure projects economically...