replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

libbarrelfish: started merging proc_mgmt_client and spawn_client

The arugments for spawn_* calls change from domainid_t to
a cap to do any kind of referencing a process.

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

Always use frame_identify() instead of raw invocation

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T191: x86_64: frame_identify returns size in bytes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

benchmark utility for libxomp

Fixed some compilation errors.

libxomp: adding signatures for update the replicated frames

libbomp: per worker statistics in the xomp backend

libxomp: new benchmarking functionality

libbomp: enabling of vthreads.

libbomp: added micro benchmark switch for measurements

libbomp: starting of remove threads before local threads

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.

adapted the xeon phi spawn infrastructure to handle spawn flags.

bomp: make use of default core stride if not set.

libbomp: added DMA based replication.

towards more functionality in bomp library

libbomp: merged xomp and bomp together and refactoration

There may be a use case where the bomp and xomp library are used
together i.e. we have a linker conflict and not the proper functions are
called.

Refactoration: instead of global variables there is a single state
pointer which can be exchanged depending on the backend to be used.
Further function pointers in this state ensure that the correct
functions are called.

added more sub functions for GCC pragma function calls.

moved omp.h into the global include directory.

merged: bomp_init with bomp_span_domain