cryptol: Replace URLs with something meaningful

Signed-off-by: Austin Seipp <aseipp@pobox.com>
(cherry picked from commit 52514efb1691bd671a73bdddcc481675253318de)