Updating travis config to get modelsim from mega, and therefore, avoid 3.5GB download