replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Added AHCI driver (ahcid), AHCI user-space library (libahci), AHCI Flounder backend, block device file system (in libvfs), and various tests and benchmarks for the above.
Source: Distributed Systems Lab: A Messaging Interface to Disks (Manuel Stocker, Mark Nevill, Simon Gerber).

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.