Add a --hfa-name command that allows one to specify the unique opname for a hashfast device.