The dumpkey tool is used to dump encryption keys in a custom format
used by the recovery code. Nobody else uses this format AFAICT, so
it's more appropriate to keep the code of the tool alongside the
recovery code instead of next to mincrypt.
BUG:27326256
Change-Id: I30176845617972be1d6e46e9a9218e161fbf0680