[ci] Add the deadsnakes PPA.

I was wrong...