Teknillinen korkeakoulu, Alvar Aallon aukio, lampi