Fix dep resolution issue in solver where post was not set to [true]. Fix ./opam and ./opam/$pkg.opam file lookup (#15). Thanks to @dbuenzli for suggestions.