veracrypt: refactor

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/)