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