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
Fix some typos
ram_fs: use server skeleton library

Related to #944.
base-linux: hybrid file-system server (wip)

Fixes #944.