Actually build opam_admin.native since a67bb720f99497c85e1afd01213044097892c2c1
Merge pull request #803 from dsheets/master

Actually build opam_admin.native since a67bb720f99497c85e1afd
Merge pull request #801 from AltGr/fix-#757-#794

Fix #757 #794
Added a warning when adding a local repo without a 'packages' or 'compilers' directory
Closes #767 (although we only check for the directories here, that should be enough)
Going on after upgrade to 1.1, rather than ignoring command
Fixes #734 (ok, I didn't add a prompt ; but I put in a big red message, shouldn't
that be enough ? :p)