Disable travis
Merge pull request #3473 from servo/disable_travis

Disable travis

Reviewed-by: SimonSapin