[mirrorstats.py] Add script that prints lagging mirrors