Motivation for this change

Previous Veracrypt hoster was CodePlex which will be shut down and was set to read only on 27th of November. See the announcement (https://blogs.msdn.microsoft.com/bharry/2017/03/31/shutting-down-codeplex/) . Verycrypt's homepage has since moved to https://www.veracrypt.fr which is owned by IDRIX (https://www.afnic.fr/fr/produits-et-services/services/whois/)

Things done

Changed the link in the description; I'm not using veracrypt myself, just stumbled over it - hence untested.

• Tested using sandboxing (nix.useSandbox on NixOS, or option build-use-sandbox in nix.conf on non-NixOS)
• Built on platform(s)
  • NixOS
  • macOS
  • other Linux distributions
• Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
• Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• Fits CONTRIBUTING.md.