Add a code review for Domain PolicyKey extensions.

This commit adds a Domain function that takes a Tao and extends its name with
the verifying key of the Domain, in the form ".PolicyKey([...])". This is useful
for making the policy key explicit.