change Ubuntu repository to mirror at Arnes (Slovenia)