Update minecraft client to 1.13.2. The url is not as nice as before
but it is the one provided by mojang. Adds 1_13_2, 1_13_1 as well.

https://minecraft.net/en-us/download/server

 - allow for options to (added 2 options):
   - agree to eula (eula.txt) true/false will create symlink over
     existing eula.txt to `/nix/store/...`.
   - whitelist users (optional and will symlink over existing
     whitelist.json and create backup)
   - server.properties can be configured with the serverProperties
     option. If there is an existing server.properties it will
     copy it to a server.properties.old to keep the old
     one. server.properties MUST be writable thus symlinking is not
     an option.
  - all ports that are stated in `server.properties` are exposed
    properly in the firewall.

(infinisil) nixos/minecraft-server: Fix, refactor and polish

Adds an option `declarative` (defaulted to false), in order to stay
(mostly) backwards compatible. The only thing that's not backwards
compatible is that you now need to agree to the EULA on evaluation time,
but that's guarded by an assertion and therefore doesn't need a release
note.

Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/papirus-icon-theme/versions

minecraft-server: 1.12.2 -> 1.13.2 + service refactor

swift: 4.2.1 -> 4.2.2

papirus-icon-theme: 20190106 -> 20190203

libva[,-utils}: 2.3.0 -> 2.4.0

intel-media-driver: 18.3.0 -> 18.4.0