Add 'update_hash' and 'list' to tool/ports

Issue #1082
Enable hash checks for ports mechanism
rtc: document current interface

Issue #1148
vfs: catch lookup-failed exception on node discovery
nova: re-throw uncatched exception of dying thread

If the re-throw works, we will can see which exception type was thrown.
vmm utils: cpu-session parameter for VMM thread

Issue #1157
vbox: update to 4.2.24
vbox: enable guest additions

Fixes #1157
hw: fix section insertion in translation tables

Fixes an alignment problem introduced by commit "hw: map core on demand"
where physical address alignment wasn't checked anymore, when inserting
a section within the first-level table of ARM's short translation table
format.

Many thanks to Christian Prochaska for helping to debug the problem.
vbox: fix share-folder setup
doc: update porting guide to new port mechanism
Release notes for version 14.05
version: 14.05
Final touches of the release notes 14.05
News item for Genode 14.05
doc: markup-fix in doc/porting_guide.txt
tool: Sort patches when generating port hashes

Issue #1082
dde_linux: Remove bogus line from XHCI patch

This was a left over from the 'vi' editor
Use signals for delivering input events

This patch changes both the Input::Session interface and the skeleton
for the server-side implementation of this interface
('input/component.h').

The Input::Session interface offers a new 'sigh' function, which can be
called be the client to register a signal handler. The signal handler
gets notified on the arrival of new input. This alleviates the need to
poll for input events at the client side.

The server-side skeleton for implementing input services underwent a
redesign to make it more modular and robust. I.e., there are no
global functions needed at the server side and the event-queue
enable/disable mechanism is implemented at a central place (in the root
component) rather than inside each driver.

Fixes #46
dde_linux: implement memory barriers in USB driver

This patch implements the memory barrier macros in the USB driver for ARMv7
and x86.

Fixes #1159.