replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

devq: stackable debugging backend for checking buffer properties

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