gnu: spin2cpp: Update to 3.6.3.

* gnu/packages/embedded.scm (spin2cpp): Update to 3.6.3.

hydra: Don't build non-substitutable packages.

* build-aux/hydra/gnu-system.scm (package->job): Compute PACKAGE's
derivation; return #f if 'substitutable-derivation?' returns #f.

ui: Remove the empty string from '%load-extensions'.

* guix/ui.scm (run-guix): Set %LOAD-EXTENSIONS.

packages: Patches can be any lowerable object.

* guix/packages.scm (patch-and-repack)[instantiate-patch]: Replace
'origin?' with 'struct?'.

gnu: proot: Install man page under the right name.

* gnu/packages/linux.scm (proot)[arguments]: In 'install' phase, install
man page as "proot.1", not "man.1".

gnu: bind: Update to 9.11.1-P1 [fixes CVE-2017-3140].

* gnu/packages/dns.scm (isc-bind): Update to 9.11.1-P1.

gnu: libtiff: Fix several bugs related to improper codec usage [security fixes].

Fixes CVE-2014-8128, CVE-2015-7554, CVE-2016-5318, CVE-2016-10095, and
the other bugs listed in 'libtiff-tiffgetfield-bugs.patch'.

* gnu/packages/patches/libtiff-tiffgetfield-bugs.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/image.scm (libtiff-4.0.8)[source]: Use it.

gnu: sablevm: Build reproducibly.

* gnu/packages/java.scm (sablevm)[arguments]: Add build phase
"remove-timestamp-for-reproducibility".

gnu: sablevm: Do not use bundled libraries.

* gnu/packages/java.scm (sablevm)[inputs]: Add popt and libffi.
[arguments]: Add configure flags and build phase to avoid using bundled
libraries.

gnu: network-manager-applet: Update to 1.8.2.

* gnu/packages/gnome.scm (network-manager-applet): Update to 1.8.2.
[arguments]: Remove "--without-wwan" configure flag.
[inputs]: Add libselinux and modem-manager.

gnu: zziplib: Fix CVE-2017-{5974,5975,5976,5978,5979,5981}.

* gnu/packages/patches/zziplib-CVE-2017-5974.patch,
gnu/packages/patches/zziplib-CVE-2017-5975.patch,
gnu/packages/patches/zziplib-CVE-2017-5976.patch,
gnu/packages/patches/zziplib-CVE-2017-5978.patch,
gnu/packages/patches/zziplib-CVE-2017-5979.patch,
gnu/packages/patches/zziplib-CVE-2017-5981.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/zip.scm (zziplib)[source]: Use them.

gnu: Add propeller-gcc-4.

* gnu/packages/embedded.scm (propeller-gcc-4): New variable.
* gnu/packages/patches/gcc-4.6-gnu-inline.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.

guix: Add texlive importer.

* guix/import/texlive.scm: New file.
* guix/scripts/import/texlive.scm: New file.
* Makefile.am (MODULES): Add them.
* tests/texlive.scm: New file.
* Makefile.am (SCM_TESTS): Add it.
* guix/scripts/import.scm (importers): Add texlive importer.
* doc/guix.texi (Invoking guix import): Document it.

gnu: Add texlive-tiny.

* gnu/packages/tex.scm (texlive-tiny): New variable.

gnu: Add texlive-union.

* gnu/packages/tex.scm (texlive-union): New procedure.

gnu: Add texlive-latex-psnfss.

* gnu/packages/tex.scm (texlive-latex-psnfss): New variable.

gnu: texlive-latex-cyrillic.

* gnu/packages/tex.scm (texlive-latex-cyrillic): New variable.

gnu: Add texlive-latex-babel.

* gnu/packages/tex.scm (texlive-latex-babel): New variable.

gnu: Add texlive-latex-amscls.

* gnu/packages/tex.scm (texlive-latex-amscls): New variable.

gnu: Add texlive-latex-amsmath.

* gnu/packages/tex.scm (texlive-latex-amsmath): New variable.