Implement tests for --leading_zeros option
Add the command line option --leading_zeros to pad the filename page number, allowing numerical sorting
Include documentation for the --leading_zeros option