- .travis.yml: according to the travis ci guys, gcc-4.8 is now pre-installed on osx.
  Let's see if it works this time.