replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

harness: Fix bulktests script to not choke on single-socket machines (i.e. vacherin).

Initial version of public stable barrelfish repository.