Merge pull request #1669 from samoht/master

Improve `opam-admin findlib --infer`
More tweaks to opam-admin findlib

the --install option will only try to install the packages if the findlib file
is empty. That will save lots of useless reinstallations.