Elon Musk's Boring Co. dropped plans to build a traffic-dodging tunnel underneath Sepulveda as part of a settlement with community groups.