terminal: weaken color argument order requirement

With this patch, the escape sequence decoder can handle a two-argument
'SGR' command with the attribute/color arguments in any order.

Fixes #690.
terminal: 'ED' command fix

Fixes #691.
L4Linux stability improvements

- search for alternative virtual address regions upwards, starting from
  the given start address, in the 'l4re_rm_attach()' and
  'Region_manager::reserve_range()' functions

- don't treat memory locations above 0x80000000 in l4linux's virtual
  address space as device memory

- align the start address of the vmalloc area according to the assumption
  in 'devicemaps_init()'

Fixes #414.
base: calculate initial junk based on 32/64 host

Issue #666
Add 'seoul_libc_support' library

This library contains the subset of the libc that is needed for the
Seoul VMM.

Related to issue #666.
Switch to Seoul VMM repository instead of NUL

In this version of the transition the Hip structure from Genode is reused,
@nfeskes seoul_libc_support is used for the string functions and the
nul/config.h is replaced by just using a constant value in the one place where
the file was needed.

Related to #666.
vancouver: correct framebuffer size.
vmm: try to reserve lower virtual address space

It's not guaranteed to be robust and will break in the future - I told you.

Related to issue #365, issue #519, issue #666
nova: show badge as name during page fault message
vancouver: calculate STACK_SIZE from addr_t size.

This is necessary on 64bit host.
Fiasco(.OC) KDB UART driver

The KDB UART driver uses the Fiasco(.OC) kernel debugger console as backend
for input and output. This is useful in the case that only one UART is
available.

Fixes #665.
remove obsolete port target
build.mk: Fix dependency on $(LIB_DEP_FILE)

The previous fix in 6b33757154155f92ce9513d881e32236409385ca was
invalid.
usb: Rewrote back-end allocators

Allocate back-end memory dynamically.
usb: add network support for arndale board
usb: grab urb sizes from driver

Instead of hardcoding the values, ask the driver for the supported sizes and
allocate the skb allocators accordingly.
base-foc: Do not touch memory during map operation

Don't do anything in Mapping::prepare_map_operation.  At this point and in the
current implementation, the memory has been mapped and cleared already. Touching
the memory may only pollute the cache causing data corruption in DMA memory.

Fixes issue #452
l4lx: allocate memory in chunks

When L4Linux tries to allocate a dataspace of the size of its physical
memory, this allocation can fail, because the 'l4re_ma_alloc()' function
in the 'l4lx' library always tries to allocate a contiguous dataspace of
the given size and there might be no contiguous free area left.

With this patch, memory gets allocated in chunks: if the size to be
allocated exceeds the configured chunk size, a managed dataspace gets
created and filled with multiple memory chunks of at most the chunk size.

The chunk size is 16M by default and can be configured in an l4linux
config node:

<config args="...">
	<ram chunk_size="16M"/>
</config>

Fixes #695.
terminal_mux: increase RAM quota in run script

Fixes #694.