Switch Dockerfile to debian:jessie

We discussed this a bit, but it turned out to be really easy, so consider this a formal "request for comments/votes".

(If nothing else, it helped me discover #5213.)