Dockerfile: Use Ubuntu PPA instead of debian packages

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