Travis-CI: another attempt at making it work

Switching to OSX, because homebrew is more uptodate than
Ubuntu Ancient LTS, which is what Travis uses on Linux.