ETH Zürich, HIF-Gebäude Areal Hönggerberg, Erweiterung und Sanierung