Correct adding of PPA repository in travis-ci config