Merge branch 'master' into core-updates

gnu: nettle: Update to 3.1.1.

* gnu/packages/nettle.scm (nettle): Update to 3.1.1.

gnu: which: Update to 2.21.

* gnu/packages/base.scm (which): Update to 2.21.

gnu: cross-base: Do not strip cross-gcc.

Fixes a regression introduced in 9063ef0 whereby #:strip-binaries? would be
left to #t, leading to an invalid cross-built libgcc.a (see
<http://hydra.gnu.org/build/492479/nixlog/1/tail-reload>.)

* gnu/packages/cross-base.scm (cross-gcc-arguments): Add #:strip-binaries? #f
  unconditionally.  Replace 'install' phase to use "make install-strip".

gnu: qemu: Add fix for CVE-2015-3209.

* gnu/packages/patches/qemu-CVE-2015-3209.patch: New file.
* gnu-system.am (dist_patch_DATA): Add it.
* gnu/packages/qemu.scm (qemu): Add patch.

gnu: cups: Update to 2.0.3.

* gnu/packages/cups.scm (cups): Update to 2.0.3.

gnu: linux-libre: Update to 4.0.5.

* gnu/packages/linux.scm (linux-libre): Update to 4.0.5.

install: Really overwrite TARGET/var/guix/profiles/system-1-link.

* gnu/build/install.scm (populate-root-file-system): Delete system-1-link
  under TARGET, not under /.  Use 'catch' and check for EEXIST instead of
  (false-if-exception (delete-file ...)).

gnu: commencement: Remove "debug" output of GCC-FINAL.

Fixes a regression introduced in 9063ef0.

* gnu/packages/commencement.scm (gcc-final)[outputs]: New field.

gnu: gcc: Build libbacktrace without -Werror.

* gnu/packages/gcc.scm (gcc-4.7)[arguments] <pre-configure>: Remove -Werror
  from libbacktrace/configure.

gnu: gcc: Add "debug" output, debugging symbols of libraries.

* gnu/packages/gcc.scm (gcc-4.7)[install-target]: Remove.
  [outputs]: Add "debug".
  [arguments]: Remove #:strip-binaries?.  Remove 'install' phase.

gnu: gcc: Do not add -rpath=LIBDIR/lib64 to the "lib" spec.

* gnu/packages/gcc.scm (gcc-4.7): Remove unneeded LIBDIR/lib64 from
  GNU_USER_TARGET_LIB_SPEC.

gnu: make-bootstrap: Adjust gawk patch to 4.1.3.

* gnu/packages/patches/gawk-shell.patch: Update for gawk 4.1.3.

gnu: guile-static: Use Linux syscalls only on Linux-based systems.

* gnu/packages/patches/guile-linux-syscalls.patch: Use Linux
  syscalls only on Linux-based systems.

gnu: mysql: Update to 5.6.25.

* gnu/packages/databases.scm (mysql): Update to 5.6.25.
  [source]: Use 'version-major+minor'.
  [build-system]: Change to cmake-build-system.  Adjust arguments
  accordingly.
  [inputs]: Add libaio.  Remove procps.  Move perl to 'native-inputs'.

gnu: Add proof-general.

* gnu/packages/ocaml.scm (proof-general): New variable.

install: Omit /root from the binary tarball.

Suggested by Thomas Schwinge <thomas@codesourcery.com>.

* gnu/system/install.scm (self-contained-tarball): Remove
  "/root/.guix-profile" from the 'tar' arguments.
* doc/guix.texi (Binary Installation): Add a step to create
  ~root/.guix-profile.

gnu: commencement: Use our Binutils as soon as possible.

* gnu/packages/commencement.scm (binutils-boot0)[arguments]: Add
  'add-symlinks' phase.

gnu: sed: Set PATH_MAX for Hurd systems.

* gnu/packages/patches/sed-hurd-path-max.patch: New file.
* gnu-system.am (dist_patch_DATA): Add it.

gnu: youtube-dl: Update to 2015.06.04.1.

* gnu/packages/video.scm (youtube-dl): Update to 2015.06.04.1.