Fixed wrt API change of OpamFile.URL
Merge pull request #21 from AltGr/allow-url-mirrors

Fixed wrt API change of OpamFile.URL