Update time_ed25519.py following addition of PyNaCl support