Updated URL to proofs to be curl/wget compatible

paper/1_intro.tex

@@ -98,9 +98,9 @@ not make the link to the mathematical definition from~\cite{Ber06}.
 \subheading{Reproducing the proofs.}
 To maximize reusability of our results we placed the code of our formal proof
 presented in this paper into the public domain.
-They are available at \url{https://anonfile.com/6fp8ta70n9/coq-verif-tweetnacl.tar_gz}
+It is available at \url{https://cdn-09.anonfile.com/6fp8ta70n9/014c4f8c-1569921449/coq-verif-tweetnacl.tar.gz}
 with instructions of how to compile and verify our proof.
-A description of the content of the archive is provided in
+A description of the content of the code archive is provided in
 Appendix~\ref{appendix:proof-folders}.
 
 \subheading{Organization of this paper.}