The NASA chopper set to be first aircraft to fly on Mars now has a name — thanks to a 17-year-old girl