Update public key

Also provide public key as a separate file.