add_leading_symbols: Create indices padded with zeros
Description
Create indices padded with zeros. This is important for creating appropriate
for sorting names.
Usage
add_leading_symbols(file_names)
Value
A string with numbers padded with leadinng zero.