Hadrian: use deb9 Docker images instead of deb8 for CI jobs