Back in December, SpaceX and Tesla founder Elon Musk sent a frustrated tweet vowing to alleviate traffic by grabbing a tunnel-boring machine and going to work. While this seemed like the usual What If thought Musk dispatches to the Twitterverse, it s