replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Adding maximum size to variable arrays in flounder definitions. Converting
one TArray to normal arguments.

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

Interface definitions: Changing calls/responses into messages.

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

Initial version of public stable barrelfish repository.