travis: latest opam-rt test requires an external solver, installing aspcud
Merge pull request #1097 from AltGr/travis-aspcud

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