Remove PPA due to better packaging

git-svn-id: svn+ssh://beta.visl.sdu.dk/usr/local/svn/repos/visl/tools/cg3ide@9981 cb2587b3-b7ff-0310-8c81-a2a651690ada