Replaced manual Ubuntu installation instructions with a PPA and a note to use Debian instructions for building from source code.