[travis] Use a different ppa for boost; also new libstdc++