vm: Fix 'load-in-linux-vm' docstring.

* gnu/build/vm.scm (load-in-linux-vm): Change default value of
  #:disk-image-size.  Update docstring to note that DISK-IMAGE-SIZE is
  in bytes.

build: Remove check for broken (srfi srfi-37).

This was for Guile < 2.0.9 and we've been requiring 2.0.9+ for some time
already.

* configure.ac: Remove 'GUIX_CHECK_SRFI_37' use and 'INSTALL_SRFI_37'
conditional.
* Makefile.am: Remove code in "if INSTALL_SRFI_37".
(EXTRA_DIST): Remove srfi/srfi-37.scm.in.
* srfi/srfi-37.scm.in: Remove.
* m4/guix.m4 (GUIX_CHECK_SRFI_37): Remove.

gnu: poppler: Fix CVE-2017-{9775,9776}.

* gnu/packages/pdf.scm (poppler)[replacement]: New field.
(poppler-0.56.0): New variable.
(poppler-qt4, poppler-qt5): Use 'package/inherit'.

gnu: thermald: Add file-name for source.

* gnu/packages/admin.scm (thermald)[source]: Add file-name field.

gnu: thermald: Only build on i686 and x86_64.

* gnu/packages/admin.scm (thermald)[supported-systems]: New field.

gnu: libgcrypt: Add mitigation for CVE-2017-7526.

* gnu/packages/gnupg.scm (libgcrypt)[replacment]: New field.
(libgcrypt-1.7.8): New variable.
(libgcrypt-1.5)[replacment]: New field.

gnu: mes: Update to 0.8.

* gnu/packages/mes.scm (mes): Update to 0.8.

gnu: Add mescc-tools.

* gnu/packages/mes.scm (mescc-tools): New variable.

system: Add 'shadow' to %BASE-PACKAGES.

Suggested by Göktuğ Kayaalp <self@gkayaalp.com>.

* gnu/system.scm (%base-packages): Add SHADOW.

gnu: libxfce4ui: Do not propagate gtk+-2.

Propagation of both gtk+ and gtk+-2 causes a conflict to be detected,
preventing the installation of xfce.

* gnu/packages/xfce.scm (libxfce4ui)[propagated-inputs]: Move "gtk+-2"...
[inputs]: ...to here.
(garcon)[inputs]: Add "gtk+-2".
(xfce4-appfinder)[inputs]: Add "gtk+-2".
(xfce4-power-manager)[inputs]: Add "gtk+-2".
(ristretto)[inputs]: Add "gtk+-2".

gnu: xfce: Build union instead of propagating inputs.

* gnu/packages/xfce.scm (xfce)[propagated-inputs]: Move all...
[inputs]: ...here.
[arguments]: Build a union.

gnu: clojure: Update "tools-reader-src" to 1.0.0.

* gnu/packages/java.scm (clojure)[inputs]: Update "tools-reader-src" to
1.0.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add procenv.

* gnu/packages/linux.scm (procenv): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: ansible: Apply experimental patch to deal with wrapping of ansible script.

See <http://lists.gnu.org/archive/html/bug-guix/2017-05/msg00015.html> for the
rationale.

* gnu/packages/patches/ansible-wrap-program-hack.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/admin.scm (ansible)[source]: Use it.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: node: Update to 8.1.2.

* gnu/packages/node.scm (node): Update to 8.1.2.
(node)[arguments]: Disabled more tests.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: lapack: Install libraries to PREFIX/lib, not PREFIX/lib64.

This fixes a regression introduced in
ef39a17717a10a7f406730258acfdb07934c7255, which would break
python-scipy ("undefined reference to `zungqr_'").

* gnu/packages/maths.scm (lapack)[arguments]: Add
"-DCMAKE_INSTALL_LIBDIR" to #:configure-flags.

gnu: ovmf: Only build 32-bit firmware on i686-linux.

* gnu/packages/firmware.scm (ovmf)[arguments]: Only when the build
machine is x86_64-linux should the 64-bit firmware be built and
installed.

gnu: openh264: Fix building on armhf and aarch64.

* gnu/packages/video.scm (openh264)[arguments]: Add 'CC=gcc' to
the #:make-flags.

gnu: r-spams: Update to 2.6-2017-03-22.

* gnu/packages/statistics.scm (r-spams): Update to 2.6-2017-03-22.
[arguments]: Remove R-3.3 work-around and syntax fixes, add phase to
prevent tuning r-spams to the compiling hardware.

gnu: wdiff: Remove unused screen input.

* gnu/packages/wdiff.scm (wdiff): 'inputs' -> 'native-inputs'.
[native-inputs]: Remove unused screen input.
[arguments]: Use modify-phases.