Removed old parameter tuner (and thus pugixml from external/)

Was accidentally broken in 1.4.x already, now superseeded by kernel generator.