Install CasaCore from a Debian package (on Travis)