Optimizes server list for Pacman on Arch Linux