base-nova: Use CROSS_DEV_PREFIX in run environment

Related to #490.
qt4: Workarounds for missing C++11 compatibility

Since we switched to using C++11 by default, the webkit-related
parts of qt4 failed to compile because of C++11 compatibility
issues. This patch disables the use of C++11 for the offenders.
hw: implement priority-based scheduling (fix #945)
cpu_session: fix semantic of scale_priority

Remove "inverse" argument from function, because its documented behaviour
wasn't implemented correctly, nor was it used by any code.
Server for writing terminal output to LOG session

Fixes #947
Use log_terminal in noux.run script

This patch changes the noux.run script to use the new log_terminal
component instead of an UART driver. Besides being a nice way to test
the log_terminal service, the new version is much simpler and it just
became compatible to Linux as it no longer relies on an UART driver.

Issue #947
ports: native version of DosBox

DosBox is DOS-Emulator which is mainly used for playing old
DOS games on POSIX systems and newer Windows versions.

This port of DosBox runs natively on Genode by using its
SDL backend. It is currently only works on x86_*.

Fixes #937.
hw: remove unused function handle_invalid_syscall

ref #874
hw: remove useless function handle_invalid_excpt

ref #874
hw: header and source file for Kernel::Vm

ref #874
hw: make Kernel::mtc() global

ref #874
hw: make syscall backend private to Kernel::Thread

ref #874
hw: clean up interface of Kernel::Thread

ref #874
hw: send request size through UTCB

ref #874
hw: send reply size & receive request size by UTCB

ref #874
hw: manage UTCB through use-case specific structs

ref #874
hw: communicate message type through UTCB

ref #874
hw: distinct pagefault and IPC message type

ref #874
arndale: centralize spec of interrupt names

ref #874
pbxa9: centralize spec of interrupt names

ref #874