Add the CC0 license to release ed25519.py into the public domain