Use Travis for CI.