Elektronische Rechenmaschine der ETH Zürich (ETHZ), Weiterentwicklung der Z4 Rechenanlage ab 1950