dde_linux: Update to Linux 3.14.5

Update patch files and file lists.
lwip_lx.run: Increase timer quota
tools: fix clean rule in tool_chain_rump

The clean rule is used to delete already built binaries as well as to
clean-up any left-overs from previous build attempts. If there was
no previous attempt just return true to prevent make from complaining.

Fixes #1245.
tools: strip rumpkernel based tools

Until now, the rumpkernel based tools were installed with all symbols
included. This accounts for about 200MiB used space on 64Bit system.
Stripping the binaries prior to installation brings the space
requirements down to 20MiB.

Fixes #1245.
ports: fetch openvpn from github
doc: update components.txt
Release notes for version 14.08
News item for Genode 14.08
version: 14.08
qt4: change download URL for qscriptclassic

The archive vanished from the previously used mirror.
libports: download location of jbig2dec

The original git:// URL produced the following error:

Cloning into 'jbig2dec'...
fatal: remote error: access denied or repository not exported: /jbig2dec.git
nitpicker: fix warning about truncated integer

warning: large integer implicitly truncated to unsigned type [-Woverflow]
libports: fix VFS config of sdl.run
hw: clrex during context switch (Fixes #1196)