write URLs the way opam writes them

1 job for gen_proofmode in 8 minutes and 41 seconds (queued for 7 minutes)