replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

mt-waitset: adding masking of channels so a thread won't handle two messages at the same time

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

Multi-threaded waitsets, tokens added to IPC messages.

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

libbarrelfish: Spilt private waitset_chan.h header into a public and private
header.

* Check all files that included the old header, if the need the private or the
public header or both or none at all. Some files included the header but
didn't use any of the functions provided by the header.

* Change libahci so that it no longer uses the libbarrelfish-private header.

Steps towards going to user-level.

The first sys_print works (from within the dispatcher of init), but
the state does not seem to be restored properly. The infinite-loop
after this sys_print is never reached. I assume the code to restore
the registers in swi_done is broken.

This code is not stable. A lot of things are disabled, e.g. caching,
interrupts. Also, there are some infinite loops in there.

implement ump_chan_destroy / ump_endpoint_destroy

This is not nearly the same as binding teardown, but it allows a
failed UMP bind attempt to continue and fallback to trying multihop.

UMP waitset migration. Not thoroughly tested.

Initial version of public stable barrelfish repository.