Fix link to opam-repository's script (Ubuntu PPA).
Merge pull request #591 from lehy/patch-3

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