replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

add support for one-shot timers

- Only for x86_64, and disabled by default using a config variable
- changes in existing code are guarded by #ifdefs