whitequark Update URLs in opam file.

Latest commit ddf01a7

Jun 17, 2018