replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

eclipseclp: update Hakefiles

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>