When the Arecibo telescope collapsed, the world lost a powerful asteroid tracker and alien seeker