So will do `./travis-tool.sh foo bar --baz`. I have reasons for placing the `while`, call it religion. `while ... do shift; ... done` is an idiom that is easy enough to recognize. Would `getopt` code look much different?

Anyway, I'm quite fine with proposing a change which is tweaked later.