Rename 4-allshortest.py to 04-allshortest.py