gnu: webkitgtk: Update to 2.12.0.

* gnu/packages/webkit.scm (webkitgtk): Update to 2.12.0.

gnu: shepherd: Update to 0.3.1.

* gnu/packages/admin.scm (shepherd): Update to 0.3.1.

guix build: '--with-source' correctly matches versioned file names.

* guix/scripts/build.scm: Use the right 'package-name->name+version'
procedure.  Fixes a regression introduced in
1b846da8c372bee78851439fd9e72b2499115e5a.
* tests/scripts-build.scm ("options->transformation, with-source, with
version"): New test.

gnu: libressl: Update to 2.3.3.

* gnu/packages/tls.scm (libressl): Update to 2.3.3.

Signed-off-by: Leo Famulari <leo@famulari.name>

emacs: Use space to separate package name and version in heading.

Reported by Ludovic Courtès <ludo@gnu.org>.

* emacs/guix-ui-package.el (guix-package-name): Check 'spec' property.
(guix-package-info-insert-heading): Use "name version" for button label,
write name specification to 'spec' property.

emacs: Fix converting scheme into elisp expression.

* emacs/guix-geiser.el (guix-geiser-eval-read): Replace #f/#t with nil/t
  only when they follow "(" or " ".

gnu: Add AIDE.

* gnu/packages/admin.scm (aide): New variable.

gnu: icecast: Update to 2.4.3 [fixes CVE-2015-3026].

* gnu/packages/xiph.scm (icecast): Update to 2.4.3.

services: postgresql: Use syslog.

Fixes <http://bugs.gnu.org/23064>.
Reported by Danny Milosavljevic <dannym@scratchpost.org>.

* gnu/services/databases.scm (%default-postgres-config): Add
'log_destination' line.
(postgresql-shepherd-service): Add requirement on 'syslogd'.

doc: Add "lightweight desktop" OS config example.

* gnu/system/examples/desktop.tmpl (packages): Remove XFCE and
RATPOISON.
(services): Add 'gnome-desktop-service' and 'xfce-desktop-service'.
* gnu/system/examples/lightweight-desktop.tmpl: New file.
* Makefile.am (EXAMPLES): Add it.
* doc.am (OS_CONFIG_EXAMPLES_TEXI): Add
doc/os-config-lightweight-desktop.texi.
* gnu/system/install.scm (/etc/configuration-files)[directory]: Add
lightweight-desktop.tmpl.

derivations: Raise an error when a module file is not found.

Suggested by Jookia.

* guix/derivations.scm (&file-search-error): New error condition.
(search-path*): Raise it when 'search-path' returns #f.
* guix/gexp.scm (search-path*): Remove.
* guix/ui.scm (call-with-error-handling): Add case for
'file-search-error?'.
* tests/derivations.scm ("build-expression->derivation and invalid
module name"): New test.

derivations: Add 'module->source-file-name'.

* guix/derivations.scm (module->source-file-name): New procedure.
(%imported-modules): Use it.
* guix/gexp.scm (imported-modules): Likewise.

substitute: Gracefully handle TLS errors.

* guix/scripts/substitute.scm (with-networking): Use 'match-lambda*' and
add case for 'gnutls-error'.

import: cran: Accept single URL in addition to single URL.

* guix/import/cran.scm (package->upstream-name): Match single URL in
  addition to list of URLs.

gnu: webkitgtk-2.4: Update to 2.4.10 [fixes many security flaws].

Fixes CVE-2014-1748, CVE-2015-1071, CVE-2015-1076, CVE-2015-1081,
CVE-2015-1083, CVE-2015-1120, CVE-2015-1122, CVE-2015-1127, CVE-2015-1153,
CVE-2015-1155, CVE-2015-3658, CVE-2015-3659, CVE-2015-3727, CVE-2015-3731,
CVE-2015-3741, CVE-2015-3743, CVE-2015-3745, CVE-2015-3747, CVE-2015-3748,
CVE-2015-3749, CVE-2015-3752, CVE-2015-5788, CVE-2015-5794, CVE-2015-5801,
CVE-2015-5809, CVE-2015-5822, and CVE-2015-5928.

* gnu/packages/patches/webkitgtk-2.4-sql-init-string.patch: Delete file.
* gnu-system.am (dist_patch_DATA): Remove it.
* gnu/packages/webkit.scm (webkitgtk-2.4): Update to 2.4.10.
[source]: Remove patch.

gnu: linux-libre-4.1: Update to 4.1.20.

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

Merge branch 'security-updates'

gnu: chicken: Build with GCC 4.8.

* gnu/packages/scheme.scm (chicken)[native-inputs]: Add GCC 4.8.

gnu: chicken: Disable port tests.

* gnu/packages/scheme.scm (chicken)[arguments]: Do not run port tests.

gnu: chicken: Use "modify-phases" syntax.

* gnu/packages/scheme.scm (chicken)[arguments]: Use "modify-phases"
  syntax.