Dockerfile: Use Ubuntu PPA instead of debian packages

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

Signed-off-by: Jörg Thalheim <joerg@higgsboson.tk>