Add redirect-to-mirror.py script