Added mirage-profile to .travis-ci.sh