Update installation instructions, adding Ubuntu PPA