replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

libbomp: bugfixes and gateway domain

several bugfixes in libbomp (xomp backend)
added gatway role to worker domains which acts as a memory distributor
to speed up memory sharing / replication.