gnu: Add python-termstyle.

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

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

gnu: guix: Update development snapshot.

This is a followup to 166ba5b10207f44360e218d9e3f00772d09bc7cd.

* gnu/packages/package-management.scm (guix-devel): Update to commit
166ba5b10207f44360e218d9e3f00772d09bc7cd.

substitute: Disable HTTPS certificate verification.

Fixes a regression introduced in
9e4e431e049fae3f1121c3be22cf13b174404ba8 as a consequence of
bc3c41ce36349ed4ec758c70b48a7059e363043a.
Reported by Marius Bakke <mbakke@fastmail.com>.

* guix/scripts/substitute.scm (fetch): Pass #:verify-certificate? #f to
'open-connection-for-uri' and 'http-fetch'.
(download-cache-info): Likewise.
(http-multiple-get): Add #:verify-certificate? and honor it.
(fetch-narinfos): Pass #:verify-certificate? #f.

http-client: Add #:verify-certificate? to 'http-fetch'.

* guix/http-client.scm (http-fetch): Add #:verify-certificate? parameter
and pass it to 'open-connection-for-uri'.

nls: Update 'fr' translation.

gnu: prosody: fix SSL/TLS.

* gnu/packages/lua.scm (lua5.1-sec-0.5): New variable.
* gnu/packages/messaging.scm (prosody):
[inputs]: Change lua5.1-sec to lua5.1-sec-0.5.

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

doc: Added some index entries.

* doc/guix.texi: Added various @cindex tags to assist readers.

gnu: ruby-lumberjack: Update to 1.0.10.

* gnu/packages/ruby.scm (ruby-lumberjack): Update to 1.0.10.
[native-inputs]: Add 'ruby-timecop'.

gnu: ruby-arel: Update to 7.1.4.

* gnu/packages/ruby.scm (ruby-arel): Update to 7.1.4.

gnu: ruby-rake-compiler: Update to 1.0.1.

* gnu/packages/ruby.scm (ruby-rake-compiler): Update to 1.0.1.

gnu: ruby-hoe: Update to 3.15.2.

* gnu/packages/ruby.scm (ruby-hoe): Update to 3.15.2.

gnu: ruby-rspec-core: Update to 3.5.4.

* gnu/packages/ruby.scm (ruby-rspec-core): Update to 3.5.4.

gnu: bundler: Update to 1.13.6.

* gnu/packages/ruby.scm (bundler): Update to 1.13.6.

gnu: ruby-yard: Update to 0.9.5-1.d816482a.

* gnu/packages/ruby.scm (ruby-yard): Update to 0.9.5-1.d816482a.
[source]: Update source URL.
[arguments]: Remove unneeded substitutions.  Change test target.
* gnu/packages/patches/ruby-yard-fix-skip-of-markdown-tests.patch (New
file)
* gnu/local.mk (dist_patch_DATA): Add it.

gnu: r-org-mm-eg-db: Update to 3.4.0.

* gnu/packages/bioinformatics.scm (r-org-mm-eg-db): Update to 3.4.0.

gnu: r-org-dm-eg-db: Update to 3.4.0.

* gnu/packages/bioinformatics.scm (r-org-dm-eg-db): Update to 3.4.0.

gnu: r-org-ce-eg-db: Update to 3.4.0.

* gnu/packages/bioinformatics.scm (r-org-ce-eg-db): Update to 3.4.0.

gnu: r-org-hs-eg-db: Update to 3.4.0.

* gnu/packages/bioinformatics.scm (r-org-hs-eg-db): Update to 3.4.0.

gnu: linux-libre@4.4: Update to 4.4.31.

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

gnu: linux-libre: Update to 4.8.7.

* gnu/packages/linux.scm (%linux-libre-version, %linux-libre-hash)
(linux-libre): Update to 4.8.7.