Delete PPA stuff since we have better packaging

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