SpiceyPy, the NAIF SPICE toolkit written in Python 3.