Enhance naming to show that the pubkey is the server's.

While I'm at it, also label the magic constants for prng_seed
to avoid confusion with srand(0).