Derry and down were integral parts of English song chorus as far back at least as Tudor times. Unless someone can come up with an actual definite derivation they should be considered in the same category as whack fol the diddle and too-ra-loo.