gnu: mail: Remove python-django-mailman3.

This package fails to build, as django-mailman3 currently only works with
Python 2.

* gnu/packages/mail.scm (python-django-mailman3): Removed variable.
  (python2-django-mailman3): Inline the use of python-django-mailman3, and
  remove the use of package-with-python2.

gnu: django: Fix building python-django-allauth.

* gnu/packages/django.scm (python-django-allauth)[arguments]: Modify the
  standard phases to skip a test, and run the tests using django-admin with
  the settings configured.

gnu: Add emacs-highlight-stages.

* gnu/packages/emacs.scm (emacs-highlight-stages): New variable.
* gnu/packages/patches/emacs-highlight-stages-add-gexp.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add this.

gnu: java-fasterxml-jackson-dataformat-xml: Update to 2.9.2.

* gnu/packages/java.scm (java-fasterxml-jackson-dataformat-xml): Update to
2.9.2.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: java-fasterxml-jackson-dataformat-yaml: Update to 2.9.2.

* gnu/packages/java.scm (java-fasterxml-jackson-dataformat-yaml): Update to
2.9.2.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: java-fasterxml-jackson-modules-base-jaxb: Update to 2.9.2.

* gnu/packages/java.scm (java-fasterxml-jackson-modules-base-jaxb): Update to
2.9.2.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: java-fasterxml-jackson-databind: Update to 2.9.2.

* gnu/packages/java.scm (java-fasterxml-jackson-databind): Update to 2.9.2.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: java-fasterxml-jackson-core: Update to 2.9.2.

* gnu/packages/java.scm (java-fasterxml-jackson-core): Update to 2.9.2.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: java-fasterxml-jackson-annotations: Update to 2.9.2.

* gnu/packages/java.scm (java-fasterxml-jackson-annotations): Update to
2.9.2.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: php: Update to 7.1.12.

* gnu/packages/php.scm (php): Update to 7.1.12.

gnu: gcl: Update snapshot.

* gnu/packages/lisp.scm (gcl): Update to 2.6.12-1.5956140.
[arguments]: Remove CFLAGS from and add GCL_CC and CC to make-flags; adjust
pre-conf phase.

This update includes small upstream bug fixes and optimizations.

gnu: python-pytz, python-pytzdata: Update to 2017.3.x.

* gnu/packages/time.scm (python-pytz): Update to 2017.3.
(python-pytzdata): Update to 2017.3.1.

gnu: knot: Update to 2.6.3.

* gnu/packages/dns.scm (knot): Update to 2.6.3.

gnu: emacs-org-contrib: Fix typo in description.

* gnu/packages/emacs.scm (emacs-org-contrib)[description]: Fix typo.

doc: Fix typo.

* doc/guix.texi (Bootloader Configuration): Fix ‘choosen’ typo.

gnu: system->defconfig: Fix typo.

* gnu/packages/linux.scm (system->defconfig): Fix typo.

gnu-maintenance: Relax recursion cutoff in 'latest-ftp-release'.

Fixes <https://bugs.gnu.org/25020>.
Reported by Hartmut Goebel <h.goebel@crazy-compilers.com>.

* guix/gnu-maintenance.scm (latest-ftp-release)[contains-digit?]: Remove.
Relax test as to whether to recurse into subdirectories.

gnu: coq-interval: Fix source URL for 3.3.0.

This is a followup to 6efc99967800183daa74ba2ebff6185dfcf1b33d.
Fixes <https://bugs.gnu.org/29284>.
Reported by Efraim Flashner <efraim@flashner.co.il>.

* gnu/packages/ocaml.scm (coq-interval): Adjust URL.

ui: 'known-variable-definition' protects against module cycles.

Fixes <https://bugs.gnu.org/29358>.
Reported by Marius Bakke <mbakke@fastmail.com>.

* guix/ui.scm (known-variable-definition): Add 'visited' set to guard
against cycles on 2.0.

gnu: parallel: Update to 20171122.

* gnu/packages/parallel.scm (parallel): Update to 20171122.