[travis] try a different ppa for boost 1.53