A simple proxy for Ubuntu geo mirrors that filters out broken mirrors