Avoid using the new fancy aspcud solver for homebrew opam
It requires Boost and C++11, and it is not absolutely required...
The built-in solver is fine for the dozen of dependencies we need.
Added in 1.1.1 (https://github.com/Homebrew/homebrew/pull/26282)
Anders F Bjorklund