Meet the open-source software powering NASA's Ingenuity Mars Helicopter