Travis-related cleanup

I'm pretty sure we don't need travis/script.sh anymore. Related cleanup.

Let's see if Travis agrees.