Mirror: Update CERN IPs

Could you please update the IPs of the CERN mirror as follows:

Remove:

• 188.184.104.133
• 188.184.116.38
• 188.184.97.103
• 2001:1458:d00:32::100:1c
• 2001:1458:d00:2d::100:4a
• 2001:1458:d00:39::100:469

Add:

• 188.185.42.64
• 188.185.43.125
• 188.185.45.245
• 2001:1458:d00:24::100:15e
• 2001:1458:d00:24::100:3f8
• 2001:1458:d00:25::100:9c

So, final list should look like this:

• 137.138.120.188
• 137.138.148.168
• 188.185.42.64
• 188.185.43.125
• 188.185.45.245
• 2001:1458:d00:12::3d
• 2001:1458:d00:16::3c
• 2001:1458:d00:24::100:15e
• 2001:1458:d00:24::100:3f8
• 2001:1458:d00:25::100:9c

Thank you!