core: fix iterating over trace policies

Fixes #920.
run: use 'wait_for_output' for Linux, too

With this patch, the Linux-specific 'run_genode_until' function uses
'wait_for_output' as it gets already used for other run targets.

Fixes #863.
multi_linux.run: fix initrd locations (fix #885)
base-foc: enable CPU state modification

With this patch, the register contents of a paused thread (which is not
currently executing a syscall) can get modified by the
'Cpu_session::state()' function.

Fixes #896.
GDB monitor: add support for register writing

With this patch, register contents of a paused thread (which is not
currently executing a syscall) can get modified on Fiasco.OC by GDB.

Fixes #897.
USB-storage: free Packet_descriptor after ACK

Fixes #903.
base: call proper __cxa_finalize

Fixes #909.
os: don't close the Rm_connection in ldso

At this point we cannot close the connection anymore because all
mappings are gone and the needed stack is invalid. This is not a
problem since process will be discarded anyway.

Fixes #909.
trace: implement timestamp also for ARMv6

Fixes #894.
hw: enable performance counter on ARMv6 and ARMv7

To actually enable the performance counter 'perf_counter' has to be
added to the SPECS make variable.

Fixes #893.
base: do not allow unnamed threads

fix #901
gems: provide file to terminal service

Fixes #911.
hw: differ ID allocators even with same size

Previously, if two ID allocators for different kernel objects had the
same size, the kernel-object framework managed both objects types
through the same allocator instance. This is caused by the use of
unsynchronized singletons in the accessor functions and can be avoided
by creating new types through inheritance instead of using typedefs.
Anyways, this fix is a little bit ugly and should replaced by avoiding
the use of unsynchronized singletons in the future.

fix #906
Make NIC RX/TX buffer sizes configureable in libc

* Remove far too low default values from Nic::Connection constructor
* Extend lwip initialization function with desired TX/RX buffer sizes
* Add configuration possibility to libc_lwip_dhcp plugin to define
  buffer sizes, like the following:

  '<libc tx_buf_size="1M" tx_buf_size="1M"/>'

Fixes #892
noux: use lwip dhcp plugin, avoid code duplication

Ref #892
i.MX53 tablet: handle >1 button events concurrently

By now, only one button press/release event per IRQ was handled correctly.
Pressing and/or releasing several buttons concurrently could bring the input
driver into an inconsistent state.

Fixes #913
i.MX53 tablet: complete IOMUX routes for display

For the framebuffer driver of the i.MX53 platform to work even when u-boot
didn't prepared the display previously, there were some IOMUX routes missing.

Fixes #914
i.MX53: add config lib to GPIO driver (fix #915)
i.MX53: fit into u-boot's memory layout on tablet

Fixes #917
base/os: catch Ipc_error messages in Service class

Fixes #910