Adapt to binary name 'docker.io' in debian

The (unstable) debian repository holds docker under the name 'docker.io'. This patch aims to make the script work with that.