Fix PATH issues in the travis environment.

We're now effectively installing the redo program in the travis-ci VM.
Maybe we should simply include the (small as of right now) binary in the
git repository; I'm not sure.