Disable TCP timestamps (Closes: #6579).
Install syslinux-efi: since syslinux 3:6.03~pre1+dfsg-2, that's where the EFI bootloader lives.
Adapt syslinux EFI bootloader path to cope with changes in the Debian package.
Add test for UEFI boot, using OVMF.
Fix setup instructions.
Merge branch 'stable' into test/7231-uefi-boot

Conflicts:
	wiki/src/contribute/release_process/test/setup.mdwn
Pin packages from testing to 500, so that they can be upgraded.
Merge branch 'stable' into feature/6579-disable-tcp-timestamps
Add design doc bits about TCP time stamps.
Merge branch 'devel' into bugfix/7173-upgrade-syslinux
Use sudo instead of gksudo for running tails-upgrade-frontend (Closes: #7431).
Run tails-persistence-setup with sudo instead of gksudo.

This way, stderr is output to the terminal (when running t-p-s on the
command-line) or to .xsession-errors (otherwise), which eases debugging
and error reporting. This mitigates #7623, without resolving it entirely yet.
Forward addition arguments to t-p-s from its wrapper.

This is one more step toward resolving #7623: the sudo configuration still
prevents one from passing arbitrary arguments, but at least the wrapper would
support it.
Allow the desktop user to pass --verbose to t-p-s via sudo (Closes: #7623).
Formatting fixes.
Document the TrueCrypt upcoming removal, and how to use cryptsetup instead.
Install cryptsetup and friends from wheezy-backports (Closes: #5932).
Make it clear in the TrueCrypt wrapper that it'll be removed in Tails 1.3 (Closes: #7739).
Merge branch 'devel' into feature/5373-replace-truecrypt
Merge branch 'devel' into bugfix/7173-upgrade-syslinux