Update docker's debian version

[tsmarques]

As discussed in the toolchain meeting: update to debian 9.

This will require testing for all the major architectures and check that nothing break along the way;