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>

Merge from ASPLOS tree.