Use leading zeroes in filenames.

GitHub doesn't do natural sort.  Boooooo.