Update .travis-ci.sh

Added Menhir to installed packages