gnu: Add dfu-util.

* gnu/packages/flashing-tools.scm (dfu-util): New variable.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>

doc: Suggest pgp.mit.edu.

* doc/guix.texi (Binary Installation): Use pgp.mit.edu instead of
keys.gnupg.net, which seems to be dead.

gnu: Add vte-ng.

* gnu/packages/gnome.scm (vte-ng): New variable.

Signed-off-by: 宋文武 <iyzsong@gmail.com>

gnu: icedtea: Update to 1.13.11.

Fixes CVE-2016-{0686, 0687, 0695, 3425, 3427}.

* gnu/packages/patches/icedtea-remove-overrides.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/java.scm (icedtea): Update to 1.13.11.
[source]: Use the patch.
[inputs]: Add libxcomposite.

gnu: autogen: Fix source URL.

* gnu/packages/autogen.scm (autogen)[source]: Fix source URL.

install: 'cow-store' now bind-mounts the target's /tmp.

Reported by Matthew Jordan <matthewjordandevops@yandex.com>
at <https://lists.gnu.org/archive/html/guix-devel/2016-05/msg00967.html>.

* gnu/system/install.scm (make-cow-store): Bind-mount TARGET's /tmp
on /tmp.

import: github: Tiny cosmetic change.

* guix/import/github.scm (find-extension): Use a one-argument lambda.

gnu: rofi: New variable.

* gnu/packages/xdisorg.scm (rofi): New variable.

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

gnu: emacs-constants: Fix source file-name.

Fixes a regression introduced in f99f3f24ef604f44023379da4b375c80e6844be1.

* gnu/packages/emacs.scm (emacs-constants)[source]: Fix file-name.

emacs: Add "Build Log" button to Package Info.

* emacs/guix-main.scm (package-build-log-file): New procedure.
* emacs/guix-ui-package.el (guix-package-build-log-file)
(guix-package-find-build-log)
(guix-package-info-insert-build-log-button): New procedures.
(guix-package-info-button-functions): Add
'guix-package-info-insert-build-log-button'.

emacs: Add "Build" button to Package Info.

* emacs/guix-main.scm: Use (guix scripts) module for 'build-package'
procedure.
* emacs/guix-base.el (guix-build-package): New procedure.
* emacs/guix-ui-package.el (guix-package-info-insert-build-button): New
procedure.
(guix-package-info-button-functions): New variable.
(guix-package-info-insert-misc): Insert buttons using it.

emacs: Extend 'guix-mapinsert'.

* emacs/guix-utils.el (guix-mapinsert): Add 'indent' and 'column'
keyword arguments.

emacs: Show built output directories in Package Info.

* emacs/guix-main.scm (package-store-path): New procedure.
* emacs/guix-base.el (guix-package-store-path): New procedure.
* emacs/guix-ui-package.el (guix-package-info-auto-find-package): New
variable.
(guix-package-info-show-store-path, guix-package-info-insert-misc): New
procedures.
(guix-package-info-format, guix-output-info-format): Add
'guix-package-info-insert-misc'.

gnu: taskwarrior: Update to 2.5.1

* gnu/packages/task-management.scm (taskwarrior): Update to 2.5.1.

gnu: Add py3status.

* gnu/packages/python.scm (python-py3status): New variable.

gnu: nginx: Update to 1.10.1 [Fixes CVE-2016-4450].

* gnu/packages/web.scm (nginx): Update to 1.10.1.

gnu: autogen: Use 'modify-phases'.

* gnu/packages/autogen.scm (autogen)[arguments]: Use 'modify-phases'.

gnu: autogen: Update to 5.18.10.

* gnu/packages/autogen.scm (autogen): Update to 5.18.10.

gnu: scrot: Use 'modify-phases'.

* gnu/packages/xdisorg.scm (scrot)[arguments]: Use 'modify-phases'.

gnu: scrot: Fix typo in source uri.

* gnu/packages/xdisorg.scm (scrot)[source]: Fix typo in uri.

This is a follow-up to 9da459f350709af0cd92c3eb7ddd459eda5959dd.