Make skool2html.py pad decimal addresses below 10000 with leading zeroes