gnu: ocaml-findlib-1.7.3: Fix install.

* gnu/packages/ocaml.scm (ocaml-findlib-1.7.3): install topfind to
lib/ocaml/site-lib

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

gnu: solfege: Make configuration more robust to GC

* gnu/packages/music.scm (solfege): Do not introduce store filenames in the
configuration skeleton.
[inputs]: Remove optional players.

gnu: Add copyright statement for Alex Vong.

This is a followup to commit 20be64dcf7d4d08e75eb56c34890420bea7882ec.

* gnu/packages/base.scm: Add copyright statement.

gnu: Fix and improve the mongo-tools package.

The hash of the source for this package is wrong. Most probably because the
source was changed from a tarball to a git repository without updating the
hash. Fixing this seems to break the check phase, so I rewrote that as well,
making changes to the build and install phases as needed.

* gnu/packages/databases.scm (mongo-tools)[source]: Update the hash value.
  [arguments]: Remove the different unpack path, as this isn't necessary when
  using the git repository as a source. Move the list of tools to make it
  accessible from multiple phases. Rewrite the build phase, getting it to
  install the tools in to the location the tests seem to expect to find
  them. Replace the check phase to run the tests for each tool
  individually. Add an install phase to install the tools, now that go install
  is not being run in the build phase.
  [native-inputs]: Add go-github.com-smartystreets-goconvey as a native-input
  as this is required for running the tests.

gnu: Add go-github.com-smartystreets-goconvey.

* gnu/packages/check.scm (go-github.com-smartystreets-goconvey): New variable.

gnu: Add go-github.com-jtolds-gls.

* gnu/packages/golang.scm (go-github.com-jtolds-gls): New variable.

gnu: Add go-github.com-smartystreets-assertions.

* gnu/packages/check.scm (go-github.com-smartystreets-assertions): New
  variable.

gnu: Add go-github.com-smartystreets-gunit.

* gnu/packages/check.scm (go-github.com-smartystreets-gunit): New variable.

gnu: awscli: Update to 1.14.32.

* gnu/packages/python-web.scm (awscli): Update to 1.14.32.

gnu: python-botocore: Update to 1.8.36.

* gnu/packages/python.scm (python-botocore): Update to 1.8.36.

gnu: sslh: Update to 1.19b.

* gnu/packages/networking.scm (sslh): Update to 1.19b.
[inputs]: Add pcre.
[home-page]: Update and use HTTPS.

gnu: xmobar: Update to 0.25.

* gnu/packages/wm.scm (xmobar): Update to 0.25.
[inputs]: Replace wireless-tools with (upstream-)unbundled ghc-iwlib.
[arguments]: Add ‘with_weather’ to listified #:configure-flags.

gnu: Add ghc-iwlib.

* gnu/packages/haskell.scm (ghc-iwlib): New public variable.

gnu: libvpx: Update to 1.7.0.

* gnu/packages/video.scm (libvpx): Update to 1.7.0.
[source]: Use GIT-FETCH.

gnu: libvpx: Move hard-coded logic out of configure phase.

* gnu/packages/video.scm (libvpx)[arguments]: Move arguments from
CONFIGURE-PHASE to #:make-flags and #:configure-flags.

gnu: tevent: Update to 0.9.35.

* gnu/packages/samba.scm (tevent): Update to 0.9.35.

gnu: ldb: Update to 1.3.1.

* gnu/packages/samba.scm (ldb): Update to 1.3.1.

gnu: whois: Update to 5.3.0.

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

gnu: libraw: Update to 0.18.7.

* gnu/packages/photo.scm (libraw): Update to 0.18.7.

gnu: imagemagick: Update to 6.9.9-34.

* gnu/packages/imagemagick.scm (imagemagick): Update to 6.9.9-34.