Pinholes are a big problem for blimps, so Lockheed Martin built a swarm of robots to find and fix them