This helps avoid confusion with the 'docker' directory. Also restore the debian9 scripts which may be useful for a while longer, update the names of the scripts and update the README accordingly.