travis: latest opam-rt test requires an external solver, installing aspcud
src_ext: patch dose to be osx/bsd compatible
Merge pull request #1098 from AltGr/dose-osx-compat-1.1

Cherry-picking compat patches from master