• PKI TRAC Ticket #1850 - Rename DRMTool --> KRATool

This was tested against the newly revised instructions in section 3.6 of the Administration Guide (which has not yet been released).

Thanks,
-- Matt