added ubuntu PPA instructions