[sledge] Change dev-repo in sledge.opam so that opam pin works
[sledge] Change dev-repo in sledge.opam so that opam pin works

Summary: `opam pin add sledge https://github.com/facebook/infer.git` should now work.

Reviewed By: jvillard

Differential Revision: D37743452

fbshipit-source-id: 2f74aaa6411527d1d24ced949e896c5c157688be

facebook/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer