Fix link to opam-repository's script (Ubuntu PPA).