Machine-tools; bending, folding, straightening or flattening machines (including presses), for working metal, numerically controlled panel benders