opam search
now look in configurable locations.
#1655
Merged
opam search
now look in configurable locations.
#1655