After more than a decade of mapping the stars, the European spacecraft was shut down on Thursday. But its legacy lives on.