No check for bad dev repo name

[rlepigre]

Not sure if this is intended or not, but when publishing bindlib.6.0.0 it was noticed that I had made a mistake in the name of the github repo for the project in the bindlib.opam file generated by dune (here is the commit fixing the problem). It seems like something opam-publish could have easily caught, since it knows the actual URL of the repo.

[rjbou]

It can be added to linting, another candidate to linting opam repo plugin @kit-ty-kate