opam-installer: bug-fixes
Merge pull request #1055 from AltGr/refs/heads/opam-installer-fixes

Fixed some bugs