A proxy for Ubuntu geo mirrors that filters out broken mirrors