Diverting killer asteroids with a "gravity tractor".