Update PPA installation

Change the used PPA as badger ports doesn't seem to be maintained
Change the include to run the package install