cryptol: Replace URLs with something meaningful

Signed-off-by: Austin Seipp <aseipp@pobox.com>