Travis: Use Anil's PPA

See: http://anil.recoil.org/2013/09/30/travis-and-ocaml.html