dde_kit: remove jiffies alias

The alias is rather Linux-specific and also prevents particularly
tailored jiffies implementations. For the existing dde_linux ports (usb
and lxip) we just define jiffies to be dde_kit_timer_ticks with a
preprocessor macro.
autopilot: detect missing run script with timestamps
noux: increase timeout for tool-chain test

This is just a quick fix to calm down the buildbot - a revised
implementation is needed according to issue #1277. Further, the reason
for the increased test duration on several platforms must be
investigated.
News item about the first seL4 article
base-pistachio: Add syscall library support

Makes old l4 library obsolete

Issue #1280
base-codezero: Add dummy functions to syscall library

Issue #1280
base: Genode's dynamic linker

Issue #1280
rump: Use shared library interface

Remove DL-interface

Fixes #1280
init: clamp priority values to valid range

This patch ensures that priority values passed as session arguments
are within the valid range of priorities. Without the clamping, a child
could specify a priority of a lower priority band than the one assigned
to the subsystem. Thanks to Johannes Schlatow for reporting this issue.

Fixes #1279
okl4: fix success condition in priority test
vbox: save the guest FPU state before 'longjmp()'

'longjmp()' restores the (partial) FPU state saved by 'setjmp()', so it's
necessary to save the guest FPU state before calling 'longjmp()'.

Fixes #1282
vbox: always transfer FPU ownership back to the VM

When the 'Mtd::FPU' flag is set during the registration of a
virtualization event handler, it must also be set whenever the event
handler returns.

Fixes #1283
vbox: set the 'CPUM_CHANGED_GLOBAL_TLB_FLUSH' flag

Fixes #1281
dde_kit: panic does not return

The attributes enables to use panic as final statement in branches of
functions declared to return.
vfs: use 256-byte buffer in log file system

128 bytes is not much for logging-output line length esp. when also
counting the color sequences of PDBG() and friends.
libc: do not zero errno on success in vfs plugin

The manpage to errno tells the following story:

The <errno.h> header file defines the integer variable errno, which is
set by system calls and some library functions in the event of an error
to indicate what went wrong. Its value is significant only when the
return value of the call indicated an error (i.e., -1 from most system
calls; -1 or NULL from most library functions); a function that
succeeds is allowed to change errno.

Valid error numbers are all nonzero; errno is never set to zero by any
system call or library function.
base: document specifics of Slab::alloc()

Also removed unimplemented overload of alloc() with no parameters.
dde_linux: make drivers self containing

Ported drivers list and extract all needed source files. This decouples
ports according to contrib sources and also enables us to revert lxip to
Linux version 3.9, while staying with 3.14 for usb.

Fixes #1285
libports/sdl_image: enable XPM, add include/SDL

Some SDL applications expect the SDL_image headers in include/SDL to be
reachable without the SDL/ prefix. This patch adds the corresponding
search path. Furthermore it enables support for XPM images.
rpi: add buffered mode to framebuffer driver