Rollback installing coinor-libipopt-dev in Travis-CI test

The debian package from apt-get does not work