Install Seal in Travis virtual environment