core: re-design memory allocator (fix #1091)

* Core_mem_allocator: implement Range_allocator interface
* Core_mem_allocator: allocate with page-granularity only
* Use slab allocators in core where meaningful (e.g. dataspace objects)
Remove outdated sections from doc/architecture.txt

Fixes #71
pandaboard: prevent copy of non-copyable objects

Follow up fix for commit 0b7ea4abab
Ref #1093
uart/omap4: prevent copy of non-copyable objects

Follow up fix for commit 0b7ea4abab + minor whitespace changes.

Ref #1093
uart/exynos5: Add missing author
hello: fix missing build steps and vague config

Fixes #36.
hw: use reliable start message in run env

Previously for determining wether boot-up succeeded or not, we looked
for a message that is switched off in release mode. Now the kernel
provides a reliable message as soon as initialization is done.

ref #1096
noux: make RM replay less noisy in release mode

As the message "replay: missing dataspace info for ..." occurs multiple times
on every fork, it slows down at least noux_tool_chain_auto with hw_arndale
about 10 seconds. To avoid this overhead in release mode I've turned it into a
warning rather than an error.

ref #1096
hw: make kernel less noisy in release mode

In most cases an error report is not necessary in the kernel as the problem
does not affect the kernel itself but the according user-land context. Thus
we can also do a warning that is not printed in release mode and hence safe
execution time.

ref #1096
hw: make RM faults less noisy in release mode

If an RM fault ends up in any trouble, the faulter remains paused and
the pager activation continues with the next fault. Thus we can print
a warning instead of an error and safe execution time in release mode.

ref #1096
hw: reduce stack size of idle threads

ref #1096
hw: faster Kernel::Signal_receiver::_listen()

ref #1096
hw: move core-restricted interface to local header

fix #1096
hw: remove unused kernel_pd_alignm_log2

ref #1101
hw: rename mode_transition_virt_base

ref #1101
hw: correct return type of Kernel::new_thread

ref #1101
hw: comment result of Kernel::route_thread_event

ref #1101
hw: simplify result of Kernel::access_thread_regs

ref #1101
hw: simplify buffer of Kernel::access_thread_regs

ref #1101
hw: correct result type of Kernel::new_vm

ref #1101