Delete unmaintained poly, hol and Holmake
Baseline update: 50f482288857f679acf10cd8a9b3f35a76466730 => ba4461f96f14b322ebd03d9cbcf4e0fdc206d595