travis: latest opam-rt test requires an external solver, installing aspcud