Dockerfile: Use Ubuntu PPA instead of debian packages

As this is a Ubuntu base image, the PPA is maybe a better fit.