replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

ump,flounder: moving a flow control from a flounder level to a ump level

Signed-off-by: Adam Turowski <adam.turowski@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>

T24: remove remaining SCC code

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

Adapted flounder support ump header file to deal with two additional message types.

changed some debug prints in monitor and removed non-necessary debug output in fish and flounder stubs.

Hacked x-core cap transfer to short-circuit on null caps.

headers: wrap declarations in extern "C".

Note: this change is not exhaustive and only touches some headers in //include

flounder/ump: fix inconsistent variable name / meaning in support code

"sent_id" was supposed to be the next sequence number to be sent, but
I think "next_id" is much saner... moreover, it started from zero,
which meant that the ack logic was inconsistent wrt received acks

Initial version of public stable barrelfish repository.