replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

IRQ: Use kaluga to start interrupt controllers

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Added Octopus debugging option to Config.hs.

Removed the debug #define from the source code and added it to Config.hs to have all the debugging options in one place.

Renaming errors and header defines...

--HG--
branch : octopus.renaming

More renaming

--HG--
branch : octopus.renaming

some renaming

--HG--
branch : octopus.renaming
rename : include/dist2/barrier.h => include/octopus/barrier.h
rename : include/dist2/capability_storage.h => include/octopus/capability_storage.h
rename : include/dist2/definitions.h => include/octopus/definitions.h
rename : include/dist2/dist2.h => include/octopus/dist2.h
rename : include/dist2/getset.h => include/octopus/getset.h
rename : include/dist2/init.h => include/octopus/init.h
rename : include/dist2/lock.h => include/octopus/lock.h
rename : include/dist2/parser/ast.h => include/octopus/parser/ast.h
rename : include/dist2/pubsub.h => include/octopus/pubsub.h
rename : include/dist2/semaphores.h => include/octopus/semaphores.h
rename : include/dist2/trigger.h => include/octopus/trigger.h
rename : include/dist2_server/debug.h => include/octopus_server/debug.h
rename : include/dist2_server/init.h => include/octopus_server/init.h
rename : include/dist2_server/query.h => include/octopus_server/query.h
rename : include/dist2_server/service.h => include/octopus_server/service.h
rename : lib/dist2/Hakefile => lib/octopus/Hakefile
rename : lib/dist2/client/barriers.c => lib/octopus/client/barriers.c
rename : lib/dist2/client/capability_storage.c => lib/octopus/client/capability_storage.c
rename : lib/dist2/client/common.h => lib/octopus/client/common.h
rename : lib/dist2/client/getset.c => lib/octopus/client/getset.c
rename : lib/dist2/client/handler.h => lib/octopus/client/handler.h
rename : lib/dist2/client/locking.c => lib/octopus/client/locking.c
rename : lib/dist2/client/nameservice_client.c => lib/octopus/client/nameservice_client.c
rename : lib/dist2/client/dist2.c => lib/octopus/client/octopus.c
rename : lib/dist2/client/pubsub.c => lib/octopus/client/pubsub.c
rename : lib/dist2/client/semaphores.c => lib/octopus/client/semaphores.c
rename : lib/dist2/client/strnatcmp.c => lib/octopus/client/strnatcmp.c
rename : lib/dist2/client/strnatcmp.h => lib/octopus/client/strnatcmp.h
rename : lib/dist2/client/trigger.c => lib/octopus/client/trigger.c
rename : lib/dist2/parser/Makefile => lib/octopus/parser/Makefile
rename : lib/dist2/parser/ast.c => lib/octopus/parser/ast.c
rename : lib/dist2/parser/flex.h => lib/octopus/parser/flex.h
rename : lib/dist2/parser/parse.c => lib/octopus/parser/parse.c
rename : lib/dist2/parser/parse.y => lib/octopus/parser/parse.y
rename : lib/dist2/parser/read.c => lib/octopus/parser/read.c
rename : lib/dist2/parser/scan.c => lib/octopus/parser/scan.c
rename : lib/dist2/parser/scan.l => lib/octopus/parser/scan.l
rename : lib/dist2/parser/test_parser.c => lib/octopus/parser/test_parser.c
rename : lib/dist2/parser/y.tab.h => lib/octopus/parser/y.tab.h
rename : lib/dist2/server/capstorage.c => lib/octopus/server/capstorage.c
rename : lib/dist2/server/init.c => lib/octopus/server/init.c
rename : lib/dist2/server/queue.c => lib/octopus/server/queue.c
rename : lib/dist2/server/queue.h => lib/octopus/server/queue.h
rename : lib/dist2/server/service.c => lib/octopus/server/service.c