Change user verification keys. Verification key is now an md5 hash
of a random number, as suggested in the php manual. This number is stashed in the database, in the new verify_key column in the users table. Rename the functions that generate and get the keys, and move from defs.php3 to dbdefs.php3, since they're now DB operations.