pkg/hacl: documentation link update
pkg/hacl: documentation link update

miri64/RIOT,miri64/RIOT,kaspar030/RIOT,kaspar030/RIOT,ant9000/RIOT,OlegHahm/RIOT,OlegHahm/RIOT,jasonatran/RIOT,miri64/RIOT,RIOT-OS/RIOT,jasonatran/RIOT,ant9000/RIOT,OlegHahm/RIOT,kaspar030/RIOT,OlegHahm/RIOT,ant9000/RIOT,miri64/RIOT,OlegHahm/RIOT,kYc0o/RIOT,ant9000/RIOT,RIOT-OS/RIOT,RIOT-OS/RIOT,ant9000/RIOT,RIOT-OS/RIOT,miri64/RIOT,jasonatran/RIOT,kYc0o/RIOT,kaspar030/RIOT,jasonatran/RIOT,jasonatran/RIOT,kYc0o/RIOT,kYc0o/RIOT,RIOT-OS/RIOT,kaspar030/RIOT,kYc0o/RIOT