add support for non-standard OPAM format

[skyzh]

Some Coq packages use http: instead of src: in OPAM file. This makes OPAM download logic very complex. We may wait for @PhotonQuantum 's OPAM parser before working on this.