replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).

Take this commit out when merging

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

eclipseclp: add sizes.h definitions for aarch64

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

eclipseclp: Extract SIZEOF_* definitions into header file.

Eclipseclp requires to know the size of various types at compile time. Normally,
the configure target takes care of creating the correct entries in various
config.h files. As we do not run configure on Barrelfish, we have to define
them manually.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>