Better error on bad dev-repo field
Merge pull request #1717 from OCamlPro/fix-dev-repo-err

Better error on bad dev-repo field