Move back Dockerfile to root directory

* docker ADD uses a context, which correspond to files and dirs next to
  Dockerfile. The context is a tar file, so symlinks don't work to link
  to ADD files. We don't use hard links as maybe we'll overwrite those
  files later on and that will then retain the older file, creates bugs…