Revert "Update travis CI configuration"

This reverts commit c28026bb363d7accdbe9c7ae976b5e7b12dcad10.