Use newly available docker PPA distributions, tested Ubuntu 13.04 support