Explicitly use Ubuntu Precise for Travis builds
Somehow the changes of f938c013 resulted in Travis moving all the builds from Ubuntu Precise to Ubuntu Trusty, which is not supported by many of our scripts, so add an explicit "dist: precise" to make them run under Precise again. Also add "sudo: required" which is definitely necessary and seemed to work "by default" before somehow, but it is better to make it explicit. Closes #558.
Showing with 6 additions and 0 deletions