Add depexts for nlopt.
Rotate Ubuntu Trusty into the Travis PPA list
Merge branch 'nlopt-depexts' of git://github.com/yallop/opam-repository into experiment-trusty
Merge pull request #2691 from avsm/experiment-trusty

Experiment: Put Ubuntu Trusty into the apt-get list