Allow generation of HRID values with and without leading zeroes

Purpose: Current Inventory HRID settings allow for 11 numbers, which may or may not be preceded by alpha prefixes. Current standard is to always pad the number with leading zeroes. Some libraries want the option to remove leading zeroes from Inventory HRIDs. In some cases, they want to continue the numbering structure from their previous system. In other cases, if a library does not use HRID prefixes, there is a risk that leading zeroes will be stripped accidentally by other systems or processes.

As a staff person working with Inventory records
I want to have an option to retain or remove the leading zeroes for HRIDs
So that I can customize the settings as needed for my library's needs

Steps:

• Update hridSetting.json schema to include boolean flag that would whether leading zeros should be applied or not (default to true)
• Make changes in HridManager to format an HRID according to the new settings option (add or remove the leading zeroes)
• Cover functionality with tests
• Create a migration script to update hrid_settings table
• Contact UI folks to unlock passing that setting from UI