Delete travis-tool.sh