Remove scripts that used to run on Travis-CI.
auto merge of #3909 : SimonSapin/servo/remove-travis-files, r=jdm