Debian format fixes.
Add PPA instructions.