Machine tools for working any material by removal of material, operated by electro-discharge processes