bugfix in travis.yml (wrong ppa source)