Stub out PGPPacket.to_bytes with header serialization
-rwxr-xr-x 28320 gpg-migrate.py