The Gerda muon veto Cherenkov detector