Use official docker repository for debian packages

[remyroy]

See https://docs.docker.com/engine/install/ubuntu/#install-using-the-repository

This will help us have more recents packages and better overall experience and support instead of using the default docker packages from Ubuntu.