gnu: lua: Update to 5.3.3.

* gnu/packages/patches/lua52-liblua-so.patch: Rename to ...
* gnu/packages/patches/lua-liblua-so.patch: ... this. Add version comment.
* gnu/local.mk (dist_patch_DATA): Adjust patch name.
* gnu/packages/lua.scm (lua): Update to 5.3.3.
[source]: Use https URL. Use new patch name.
[home-page]: Use https URL.
(lua-5.2): New variable.
(lua-5.1)[source]: Use https URL.

gnu: pingus: Update upstream location.

* gnu/packages/games.scm (pingus)[source]: Update source uri.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>

gnu: r-proto: Update project's home-page.

* gnu/packages/statistics.scm (r-proto)[home-page]: Update project's home-page.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>

gnu: java-hamcrest-core: Fix build.

Since we now remove the directory "lib" from the source, we need to
create a directory where build.xml searches for .jar-files.

* gnu/packages/java.scm (java-hamcrest-core)[pahases]: New phase
  create-dummy-directories.

gnu: java-hamcrest-core: Remove wrong source file-name.

The sources file-name was set to "java-hamcrest-core", while it contains
not only the "core" but all of hamcrest. Further the source archive
already has the correct name.

* gnu/packages/java.scm (java-hamcrest-core)[source]: Remove file-name.

gnu: java-hamcrest-core: Update upstream location.

The checksum changed since the new location's archive contains no
jar-files (except those of external libraries) and line endings are
different.

* gnu/packages/java.scm (java-hamcrest-core)[source]: Update source
  uri and checksum. [snippet]: Remove directory "lib" completely.

gnu: bullet: Update to 2.85.1.

* gnu/packages/game-development.scm (bullet): Update to 2.85.1.
[source]: Change to new Github url.
[arguments]: Enable tests, build shared libraries.
[inputs]: Add glu, libx11, mesa.

gnu: epiphany: Update to 3.22.1.

* gnu/packages/gnome.scm (epiphany): Update to 3.22.1.

gnu: ibus: Update to 1.5.14.

* gnu/packages/ibus.scm (ibus): Update to 1.5.14.
[arguments]: Disable emojis.
[inputs]: Add json-glib.
[home-page]: Use project's new home-page.

gnu: libkate: Update upstream location.

* gnu/packages/xiph.scm (libkate)[source]: Update source uri.
[home-page]: Update project's home-page.

gnu: w3m: Fix the commit string.

* gnu/packages/w3m.scm (w3m)[source]: Fix the commit string.

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

gnu: python-axolotl-curve25519: Fix license.

* gnu/packages/python.scm (python-axolotl-curve25519,
python2-axolotl-curve25519)[license]: Replace ISC with BSD-3.

gnu: Add python-axolotl.

* gnu/packages/python.scm (python-axolotl, python2-axolotl): New variables.

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

gnu: Add python-axolotl-curve25519.

* gnu/packages/python.scm (python-axolotl-curve25519,
  python2-axolotl-curve25519): New variables.

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

gnu: weex: Update to 2.8.2 [fixes CVE-2005-3150].

* gnu/packages/ftp.scm (weex): Update to 2.8.2.
[source]: Use new URL. Remove obsolete 'weex-vacopy.patch'.
[arguments]: Remove custom 'configure' phase and add 'bootstrap' phase.
[native-inputs]: Add autoconf, automake, and gnu-gettext.
* gnu/packages/patches/weex-vacopy.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.

gnu: whois: Update to 5.2.13.

* gnu/packages/networking.scm (whois): Update to 5.2.13.

gnu: gst-plugins-bad: Update to 1.10.0.

* gnu/packages/gstreamer.scm (gst-plugins-bad): Update to 1.10.0.
[inputs]: Remove wayland.
[tests]: Update comment about failing tests.
[home-page]: Use https.

gnu: jasper: Update to 1.900.19.

* gnu/packages/image.scm (jasper): Update to 1.900.19.
[arguments]: Remove custom make-flags.

gnu: freeipmi: Update to 1.5.5.

* gnu/packages/freeipmi.scm (freeipmi): Update to 1.5.5.

gnu: python-gst: Update to 1.10.0.

* gnu/packages/gstreamer.scm (python-gst): Update to 1.10.0.